Deriving Explicit Data Links in WS-BPEL Processes

Oliver Kopp presents a technique for deriving explicit data links in WS-BPEL processes. The technique overapproximates dataflow edges to ensure all potential dependencies are captured. It models how data is written and read throughout process activities, and handles complex topics like scope, loops, and compound variables. The goal is to provide direct support for dependency analysis to enable optimizations like process splitting.