On the Choice Between Graph-Based and Block-Structured Business Process Modeling Languages

The most prominent business process notations in use today are BPMN, EPC and BPEL. While all those languages show similarities on the conceptual level and share similar constructs, the semantics of these constructs and even the intended use of the language itself are often quite different. As a result, users are uncertain when to use which language or construct in a particular language, especially when they have used another business process notation before. In this paper, we discuss the core characteristics of graph-based and block-structured modeling languages and compare them with respect to their join and loop semantics.

[1]  Marlon Dumas,et al.  Service Interaction Patterns , 2005, Business Process Management.

[2]  Moe Thandar Wynn,et al.  Semantics of Standard Process Models with OR-Joins , 2007, OTM Conferences.

[3]  Wil M. P. van der Aalst,et al.  Workflow Data Patterns: Identification, Representation and Tool Support , 2005, ER.

[4]  Wil M. P. van der Aalst,et al.  On the Suitability of BPMN for Business Process Modelling , 2006, Business Process Management.

[5]  Jan Mendling,et al.  On the Translation between BPMN and BPEL , 2006, EMMSAD.

[6]  Hongyan Ma,et al.  Process-aware information systems: Bridging people and software through process technology , 2007, J. Assoc. Inf. Sci. Technol..

[7]  Ekkart Kindler,et al.  On the Semantics of EPCs: A Framework for Resolving the Vicious Circle , 2004, Business Process Management.

[8]  Bartosz Kiepusewski,et al.  Expressiveness and suitability of languages for control flow modelling in workflows , 2003 .

[9]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[10]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

[11]  S. Krishnan,et al.  2 XLANG : Web Services for Business Process Design , 2002 .

[12]  Dragos Manolescu,et al.  Production workflow: concepts and techniques , 2001, SOEN.

[13]  Marlon Dumas,et al.  Correlation Patterns in Service-Oriented Architectures , 2007, FASE.

[14]  Ute Beyer,et al.  Process-Aware Information Systems: Bridging People and Software Through Process Technology , 2005 .

[15]  Wil M. P. van der Aalst,et al.  Workflow Exception Patterns , 2006, CAiSE.

[16]  Jan Mendling,et al.  Detection and prediction of errors in EPC business process models , 2007 .

[17]  Frank Leymann,et al.  E Role-based Decomposition of Business Processes using BPEL , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[18]  Joachim Wehler,et al.  Boolean and Free-choice Semantics of Event-driven Process , 2007, EPK.

[19]  Jan Mendling,et al.  On the transformation of control flow between block-oriented and graph-oriented process modelling languages , 2008, Int. J. Bus. Process. Integr. Manag..

[20]  Jan Mendling,et al.  Instantiation Semantics for Process Models , 2008, BPM.

[21]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[22]  Moe Thandar Wynn,et al.  Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets , 2005, ICATPN.

[23]  Peter Fettke,et al.  Business Process Modeling Notation , 2008, Wirtschaftsinf..

[24]  Frank Leymann,et al.  Exception Handling in the BPEL4WS Language , 2003, Business Process Management.

[25]  何伟,et al.  基于Windows Workflow Foundation技术的工作流引擎设计与实现 , 2009 .

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

[27]  Mathias Weske,et al.  Using the pi-Calculus for Formalizing Workflow Patterns , 2005, Business Process Management.

[28]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[29]  Jan Mendling,et al.  Formalization and Verification of EPCs with OR-Joins Based on State and Context , 2007, CAiSE.