Title :
Realising Dead Path Elimination in BPMN
Author :
Weidlich, Matthias ; Grosskopf, Alexander ; Barros, Alistair
Author_Institution :
Hasso Plattner Inst., Potsdam, Germany
Abstract :
The Web service business process execution language (BPEL) lacks any standard graphical notation. Various efforts have been undertaken to visualize BPEL using the business process modelling notation (BPMN). Although this is straightforward for the majority of concepts, it is tricky for the full BPEL standard, partly due to the insufficiently specified BPMN execution semantics. The upcoming BPMN~2.0 revision will provide this clear semantics. In this paper, we show how the dead path elimination (DPE) capabilities of BPEL can be expressed with this new semantics and discuss the limitations. We provide a generic formal definition of DPE and discuss resulting control flow requirements independent of specific process description languages.
Keywords :
Web services; business data processing; specification languages; BPEL standard; BPMN execution semantics; BPMN~2.0 revision; DPE formal definition; Web service; business process execution language; business process modelling notation; control flow requirement; dead path elimination; specific process description language; standard graphical notation; Australia; Business; Production; Standards development; Visualization; Web services; BPEL; BPMN; dead path elimination; model transformation; process model alignment; round-tripping;
Conference_Titel :
Commerce and Enterprise Computing, 2009. CEC '09. IEEE Conference on
Conference_Location :
Vienna
Print_ISBN :
978-0-7695-3755-9
DOI :
10.1109/CEC.2009.32
