Detecting Data-Flow Errors in BPMN 2.0

Data-flow errors in BPMN 2.0 process models, such as missing or unused data, lead to undesired process executions. In particular, since BPMN 2.0 with a standardized execution semantics allows specifying alternatives for data as well as optional data, identifying missing or unused data systematically is difficult. In this paper, we propose an approach for detecting data-flow errors in BPMN 2.0 process models. We formalize BPMN process models by mapping them to Petri Nets and unfolding the execution semantics regarding data. We define a set of anti-patterns representing data-flow errors of BPMN 2.0 process models. By employing the anti-patterns, our tool performs model checking for the unfolded Petri Nets. The evaluation shows that it detects all data-flow errors identified by hand, and so improves process quality.

[1]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[2]  Rafael Accorsi,et al.  Automatic Information Flow Analysis of Business Process Models , 2012, BPM.

[3]  Ahmed Awad,et al.  Automatic Generation of a Data-Centered View of Business Processes , 2011, CAiSE.

[4]  Amitava Bagchi,et al.  On Detecting Data Flow Errors in Workflows , 2010, JDIQ.

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

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

[7]  Mathias Weske,et al.  Visually specifying compliance rules and explaining their violations for business processes , 2011, J. Vis. Lang. Comput..

[8]  Rik Eshuis,et al.  Diagnosing correctness of semantic workflow models , 2013, Data Knowl. Eng..

[9]  Zafar I. Malik,et al.  Data Flow Analysis of UML Action Semantics for Executable Models , 2008, ECMDA-FA.

[10]  Andreas Meyer,et al.  Modeling and Enacting Complex Data Dependencies in Business Processes , 2013, BPM.

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

[12]  Mathias Weske,et al.  Business Process Configuration Wizard and Consistency Checker for BPMN 2.0 , 2011, BMMDS/EMMSAD.

[13]  Ahmed Awad,et al.  Diagnosing and Repairing Data Anomalies in Process Models , 2009, Business Process Management Workshops.

[14]  Wil M. P. van der Aalst,et al.  Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows , 2009, CAiSE.

[15]  Willem-Jan van den Heuvel,et al.  Using Patterns for the Analysis and Resolution of Compliance Violations , 2012, Int. J. Cooperative Inf. Syst..

[16]  Olivia R. Liu Sheng,et al.  Formulating the Data-Flow Perspective for Business Process Management , 2006, Inf. Syst. Res..

[17]  Stephan Merz,et al.  Model Checking , 2000 .

[18]  Karsten Wolf,et al.  LoLA: A Low Level Analyser , 2000, ICATPN.

[19]  Maria E. Orlowska,et al.  Data Flow and Validation in Workflow Modelling , 2004, ADC.

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

[21]  Jan Mendling,et al.  Beyond soundness: on the verification of semantic business process models , 2010, Distributed and Parallel Databases.

[22]  Harald Störrle,et al.  Semantics and Verification of Data Flow in UML 2.0 Activities , 2005, VLFM.

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