Nautilus Event-driven Process Chains: Syntax, Semantics, and their Mapping to BPEL

Nautilus Event-driven Process Chains (N-EPCs) are a variant of Eventdriven process chains allowing multiple events between functions. This allows events to be used as transition conditions in a mapping to the Business Process Execution Language for Web Services (BPEL). We will give a formal definition of N-EPCs and show how they can be mapped to BPEL. A close look will be taken how connectors can be eliminated while preserving their semantics.

[1]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[2]  Karsten Wolf,et al.  Transforming BPEL to Petri Nets , 2005, Business Process Management.

[3]  Jan Mendling,et al.  EPC-BASED MODELLING OF BPEL PROCESSES: A PRAGMATIC TRANSFORMATION APPROACH , 2005 .

[4]  Ekkart Kindler,et al.  On the semantics of EPCs: A vicious circle , 2002, EPK.

[5]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[6]  Markus Nüttgens,et al.  Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK) , 2002, Promise.

[7]  Jan Mendling,et al.  Faulty EPCs in the SAP Reference Model , 2006, Business Process Management.

[8]  Frank J. Rump.  Geschäftsprozeßmanagement auf der Basis ereignisgesteuerter Prozeßketten: Formalisierung, Analyse und Ausführung von EPKs , 1999 .

[9]  Steven S. Muchnick,et al.  Advanced Compiler Design and Implementation , 1997 .

[10]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[11]  Christoph Schneider,et al.  Prozeßmodellierung mit ereignisgesteuerten Prozeßketten (EPKs) und Petri-Netzen , 1997, Wirtschaftsinf..

[12]  Frank Leymann,et al.  Modeling business processes with BPEL4WS , 2004, Inf. Syst. E Bus. Manag..

[13]  Jan Mendling,et al.  Transformation Strategies between Block-Oriented and Graph-Oriented Process Modelling Languages , 2008 .

[14]  Wil M. P. van der Aalst,et al.  Formal semantics and analysis of control flow in WS-BPEL , 2007, Sci. Comput. Program..

[15]  Frank Leymann,et al.  Production Workflow: Concepts and Techniques , 1999 .

[16]  Ekkart Kindler,et al.  On the semantics of EPCs: Resolving the vicious circle , 2006, Data Knowl. Eng..