Detecting Interoperability and Correctness Issues in BPMN 2.0 Process Models

Although BPMN 2.0 is an international standard widely used in practice, interoperability of process models is still an issue. Even between tools and engines claiming to be BPMN compliant the model exchange is often complicated or impossible as the tools produce incorrect model representations or do not support the standardized BPMN serialization format. In this position paper we present reasons for interoperability issues and show why defining a set of constraints derived from the standard is crucial to fix an important subset of those issues. We are currently developing a tool which can check this set of rules automatically.

[1]  Remco M. Dijkman,et al.  Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..

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

[3]  Egon Börger,et al.  Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL , 2011, Software & Systems Modeling.

[4]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

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

[6]  Guido Wirtz,et al.  BPEL conformance in open source engines , 2015, 2012 Fifth IEEE International Conference on Service-Oriented Computing and Applications (SOCA).

[7]  Remco M. Dijkman,et al.  The Business Process Modeling Notation , 2010, Modern Business Process Automation.

[8]  Alberto Trombetta,et al.  Modeling and Validating BPMN Diagrams , 2009, 2009 IEEE Conference on Commerce and Enterprise Computing.

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

[10]  Remco M. Dijkman,et al.  Petri Net Transformations for Business Processes - A Survey , 2009, Trans. Petri Nets Other Model. Concurr..