Formal semantics and analysis of control flow in WS-BPEL
By Chun Ouyang, Eric Verbeek, Wil M.P. van der Aalst, Stephan Breutel, Marlon Dumas, A. T. Hofstede. Science of Computer Programming, 2007
467 citations recorded by the source corpus.
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.
Subfields: Computational Theory and Mathematics, Information Systems, Management Information Systems
View Paper: https://www.semanticscholar.org/paper/d585fb086c3361eaab02d5856bf0fd107a77be19
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
- Wil M.P. van der Aalst
- Anne Rozinat
- Marlon Dumas
- Wil van der Aalst
- Minseok Song
- Helen Schonenberg
- Manfred Reichert
- Bernd Weber
In Information Systems
- Wil M.P. van der Aalst
- Marlon Dumas
- Anne Rozinat
- Remco M. Dijkman
- Chun Ouyang
- Manfred Reichert
- Bernd Weber
- Wil van der Aalst
In Management Information Systems
- Wil M.P. van der Aalst
- Marlon Dumas
- Anne Rozinat
- Remco M. Dijkman
- Chun Ouyang
- Manfred Reichert
- Bernd Weber
- Wil van der Aalst
Citations in the corpus
- Conformance checking of processes based on monitoring real behavior (2008, methodology): “Second, we automatically created a Petri net description of the intended choreography, using the translation described in [28] and implemented in the tool BPEL2PNML11.”
- Business Process Management: A Comprehensive Survey (2013, unknown): “Note that fragments of languages like BPMN, UML, BPEL, and EPCs have been formalized by various authors [63, 64].”
- Semantics and analysis of business process models in BPMN (2008, background): “A number of formal semantics of BPEL have been defined in terms of Petri nets and other models of concurrency [11, 19].”