Realising Dead Path Elimination in BPMN

Author

Weidlich, Matthias ; Grosskopf, Alexander ; Barros, Alistair

Author_Institution

Hasso Plattner Inst., Potsdam, Germany

fYear

2009

fDate

20-23 July 2009

Firstpage

345

Lastpage

352

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Commerce and Enterprise Computing, 2009. CEC '09. IEEE Conference on

Conference_Location

Vienna

Print_ISBN

978-0-7695-3755-9

Type

conf

DOI

10.1109/CEC.2009.32

Filename

5210773