Semantics and analysis of business process models in BPMN

The Business Process Modelling Notation (BPMN) is a standard for capturing business processes in the early phases of systems development. The mix of constructs found in BPMN makes it possible to create models with semantic errors. Such errors are especially serious, because errors in the early phases of systems development are among the most costly and hardest to correct. The ability to statically check the semantic correctness of models is thus a desirable feature for modelling tools based on BPMN. Accordingly, this paper proposes a mapping from BPMN to a formal language, namely Petri nets, for which efficient analysis techniques are available. The proposed mapping has been implemented as a tool that, in conjunction with existing Petri net-based tools, enables the static analysis of BPMN models. The formalisation also led to the identification of deficiencies in the BPMN standard specification.

[1]  Wil M. P. van der Aalst,et al.  Verification Of Workflow Task Structures: A Petri-net-baset Approach , 2000, Inf. Syst..

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

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

[4]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[5]  Chun Ouyang,et al.  Yet Another Workflow Language , 2009, Handbook of Research on Business Process Modeling.

[6]  Jeremy Gibbons,et al.  A Process Semantics for BPMN , 2008, ICFEM.

[7]  Shiyong Lu,et al.  Automatic workflow verification and generation , 2006, Theor. Comput. Sci..

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

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

[10]  Remco M. Dijkman,et al.  Formal Semantics and Analysis of BPMN Process Models using Petri Nets , 2007 .

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

[12]  Mathias Weske,et al.  Investigations on Soundness Regarding Lazy Activities , 2006, Business Process Management.

[13]  Boudewijn F. van Dongen,et al.  The ProM Framework: A New Era in Process Mining Tool Support , 2005, ICATPN.

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

[15]  Wil M. P. van der Aalst,et al.  Pattern-Based Translation of BPMN Process Models to BPEL Web Services , 2008, Int. J. Web Serv. Res..

[16]  Remco M. Dijkman,et al.  Choreography-based design of business collaborations , 2006 .

[17]  Laure Petrucci,et al.  The Petri Net Markup Language: Concepts, Technology, and Tools , 2003, ICATPN.

[18]  Wil M. P. van der Aalst,et al.  Fundamentals of control flow in workflows , 2003, Acta Informatica.