Transformation and validation of BPMN models to Petri nets models using GROOVE

BPMN is a language for business process modeling. It is simple and has the ability to represent the behavior of complex systems such as: synchronization, parallelism and choice. However, The semantics of the BPMN language is not formal.

[1]  László Lengyel,et al.  A formalism for describing modeling transformations for verification , 2009, MoDeVVa '09.

[2]  Arend Rensink,et al.  Modelling and analysis using GROOVE , 2010, International Journal on Software Tools for Technology Transfer.

[3]  Adeel Ahmad,et al.  Using model checking to control the structural errors in BPMN models , 2013, IEEE 7th International Conference on Research Challenges in Information Science (RCIS).

[4]  Arend Rensink,et al.  Model Checking Dynamic States in GROOVE , 2006, SPIN.

[5]  Márk Asztalos,et al.  Towards Automated, Formal Verification of Model Transformations , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

[6]  Dániel Varró,et al.  Automated formal verification of visual modeling languages by model checking , 2004, Software & Systems Modeling.

[7]  Martin Strecker,et al.  Rule-Level Verification of Graph Transformations for Invariants Based on Edges' Transitive Closure , 2013, SEFM.

[8]  Takashi Kobayashi,et al.  Definition of deadlock patterns for business processes workflow models , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.

[9]  Jon Whittle,et al.  A survey of approaches for verifying model transformations , 2013, Software & Systems Modeling.

[10]  M. Seidl,et al.  A Classification of Model Checking-Based Verification Approaches for Software Models , 2013 .

[11]  Martin Gogolla,et al.  Checking Transformation Model Properties with a UML and OCL Model Validator , 2014, VOLT@STAF.

[13]  Jürgen Dingel,et al.  Formal Verification Techniques for Model Transformations: A Tridimensional Classification , 2015, J. Object Technol..

[14]  Nora Szasz,et al.  Verification of Model Transformations: A Survey of the State-of-the-Art , 2013, CLEI Selected Papers.

[15]  Mamoun Filali,et al.  Towards a verified transformation from AADL to the formal component-based language FIACRE , 2015, Sci. Comput. Program..

[16]  Hassan Charaf,et al.  Test-driven verification/validation of model transformations , 2015, Frontiers of Information Technology & Electronic Engineering.

[17]  Christian Percebois,et al.  Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.