Integrating Validation Techniques for Process-based Models

Model checking has been established as an appropriate technology to validate behavioral properties of (business) process based systems. However, further validation technologies (e. g. for structural properties) may be of interest for process models. We propose a concept to integrate validation technologies in a unique system with a common user interface.

[1]  Andreas Speck,et al.  Integrated privacy modeling and validation for business process models , 2012, EDBT-ICDT '12.

[2]  Cheng Wu,et al.  BPSL Modeler - Visual Notation Language for Intuitive Business Property Reasoning , 2008, Electron. Notes Theor. Comput. Sci..

[3]  Gregor Engels,et al.  Verification of Business Process Quality Constraints Based on Visual Process Patterns , 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).

[4]  Shoichi Morimoto,et al.  A Survey of Formal Verification for Business Process Modeling , 2008, ICCS.

[5]  James V. Hansen,et al.  Model checking for design and assurance of e-Business processes , 2005, Decis. Support Syst..

[6]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[7]  Sven Feja,et al.  Model Checking with Graphical Validation Rules , 2008, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008).

[8]  Philippe Schnoebelen,et al.  Systems and Software Verification, Model-Checking Techniques and Tools , 2001 .

[9]  Edmund M. Clarke,et al.  Characterizing Correctness Properties of Parallel Programs Using Fixpoints , 1980, ICALP.

[10]  Ahmed Awad,et al.  BPMN-Q: A Language to Query Business Processes , 2007, EMISA.

[11]  Elke Pulvermüller,et al.  Composition and Correctness , 2002, SC@ETAPS.

[12]  Andreas Speck,et al.  Modelling and Verifying of e-Commerce Systems , 2006, ReMo2V.

[13]  Colin Stirling,et al.  Modal Logics and mu-Calculi: An Introduction , 2001, Handbook of Process Algebra.

[14]  Boudewijn F. van Dongen,et al.  Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants , 2007, Comput. Ind..

[15]  Andreas Speck,et al.  BAM: A Requirements Validation and Verification Framework for Business Process Models , 2011, 2011 11th International Conference on Quality Software.

[16]  Kenneth L. McMillan,et al.  Symbolic model checking , 1992 .

[17]  Zhong Xu,et al.  Combination of Model Checking and Theorem Proving to Develop and Verify Embedded Software , 2008 .

[18]  Dexter Kozen,et al.  RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .

[19]  Daniel Deutch,et al.  Querying Structural and Behavioral Properties of Business Processes , 2007, DBPL.

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

[21]  Elke Pulvermüller,et al.  Developer-friendly verification of process-based systems , 2010, Knowl. Based Syst..

[22]  Volker Gruhn,et al.  Checking Properties of Business Process Models with Logic Programming , 2007, MSVVEIS.

[23]  Shin Nakajima,et al.  Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics , 2012, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[24]  Marsha Chechik,et al.  Multi-valued symbolic model-checking , 2003, TSEM.

[25]  Santhosh Kumaran,et al.  From business process model to consistent implementation: a case for formal verification methods , 2002, Proceedings. Sixth International Enterprise Distributed Object Computing.

[26]  Dirk Fahland,et al.  Instantaneous Soundness Checking of Industrial Business Process Models , 2009, BPM.

[27]  Wolfgang May.  Integrated static and dynamic modeling of processes , 1998 .