BPEL White Papers
A feature-complete Petri net semantics for WS-BPEL 2.0
A pi-calculus based semantics for WS-BPEL
An aspect-based process container for BPEL
Analyzing interacting WS-BPEL processes using flexible model generation
Automated generation of BPEL adapters
BPEL4Chor: Extending BPEL for modeling choreographies
Composing aggregate web services in BPEL
Enabling robustness in existing BPEL processes
Grid service orchestration using the business process execution language (BPEL)
Formal semantics and analysis of control flow in WS-BPE
Orchestrating wsrf-based grid services
RobustBPEL2: Transparent autonomization in business processes through …
TRAP/BPEL: A framework for dynamic adaptation of composite services
Transforming BPEL to Petri nets
Transforming bpel into annotated deterministic finite state automata for service …
Translating bpmn to bpel
Translating standard process models to BPEL
Towards dynamic monitoring of WS-BPEL processes
Using BPMN to model a BPEL process
Using transparent shaping and web services to support self-management of …
