TY - BOOK
T1 - Formal semantics and analysis of control flow in WS-BPEL
AU - Ouyang, C.
AU - Aalst, van der, W.M.P.
AU - Breutel, S.
AU - Dumas, M.
AU - Hofstede, ter, A.H.M.
AU - Verbeek, H.M.W.
PY - 2005
Y1 - 2005
N2 - Web service composition refers to the creation of new (Web) services by combination of
functionality provided by existing ones. This paradigm has gained significant attention in the Web
services community and is seen as a pillar for building service-oriented applications. A number of
domain-specific languages for service composition have been proposed with consensus being formed around a process-oriented language known as WS-BPEL (or BPEL). The kernel of BPEL consists of simple communication primitives that may be combined using control-flow constructs expressing sequence, branching, parallelism, synchronisation, etc. As a result, BPEL process definitions lend themselves to static flow-based analysis techniques. In this report, we describe a tool that performs two useful types of static checks and extracts meta-data to optimise dynamic resource management.
The tool operates by translating BPEL processes into Petri nets and exploiting existing Petri net analysis techniques. It relies on a comprehensive and rigorously defined mapping of BPEL constructs into Petri net structures.
AB - Web service composition refers to the creation of new (Web) services by combination of
functionality provided by existing ones. This paradigm has gained significant attention in the Web
services community and is seen as a pillar for building service-oriented applications. A number of
domain-specific languages for service composition have been proposed with consensus being formed around a process-oriented language known as WS-BPEL (or BPEL). The kernel of BPEL consists of simple communication primitives that may be combined using control-flow constructs expressing sequence, branching, parallelism, synchronisation, etc. As a result, BPEL process definitions lend themselves to static flow-based analysis techniques. In this report, we describe a tool that performs two useful types of static checks and extracts meta-data to optimise dynamic resource management.
The tool operates by translating BPEL processes into Petri nets and exploiting existing Petri net analysis techniques. It relies on a comprehensive and rigorously defined mapping of BPEL constructs into Petri net structures.
M3 - Report
T3 - BPM reports
BT - Formal semantics and analysis of control flow in WS-BPEL
PB - BPMcenter. org
CY - Eindhoven
ER -