Framework for Business Process Verification

There are numerous concepts and tools for modeling business processes and several academic approaches to verify business processes. However, most modeling tools don’t integrate the checking of the processes. The three-tier architecture of the Business Application Modeler (BAM) provides the graphical representation of business models and rules (presentation layer) as well as integrates a verification mechanism layer with an intermediate transformation layer.

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

[2]  Jan Mendling,et al.  Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness , 2008, Lecture Notes in Business Information Processing.

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

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

[5]  Christoph Schneider,et al.  Petri Net Based Certification of Event-Driven Process Chains , 1998, ICATPN.

[6]  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.

[7]  Antonio Vallecillo,et al.  Formalizing WSBPEL Business Processes Using Process Algebra , 2006, Electron. Notes Theor. Comput. Sci..

[8]  Jörg Desel,et al.  Application and Theory of Petri Nets 1998 , 2000, Lecture Notes in Computer Science.

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

[10]  Zahir Tari,et al.  On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, November 25-30, 2007, Proceedings, Part II , 2007, OTM Conferences.

[11]  Ekkart Kindler,et al.  On the Semantics of EPCs: A Framework for Resolving the Vicious Circle , 2004, Business Process Management.

[12]  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).

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

[14]  August-Wilhelm Scheer,et al.  ARIS — Modellierungsmethoden, Metamodelle, Anwendungen , 1998 .

[15]  Bengt Jonsson,et al.  Implementing a Model Checking Algorithm by Adapting Existing Automated Tools , 1989, Automatic Verification Methods for Finite State Systems.

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

[17]  Mathias Weske,et al.  xBPMN Control Flow Specification of a BPMN based Process Execution Language , 2007 .

[18]  Philippe Schnoebelen,et al.  Systems and Software Verification , 2001, Springer Berlin Heidelberg.

[19]  Li Zhang,et al.  Towards Formalization and Verification of Unified Business Process Model Based on Pi Calculus , 2008, 2008 Sixth International Conference on Software Engineering Research, Management and Applications.

[20]  Jan Mendling,et al.  Understanding the Occurrence of Errors in Process Models Based on Metrics , 2007, OTM Conferences.

[21]  Moe Thandar Wynn,et al.  Business process verification - finally a reality! , 2009, Bus. Process. Manag. J..

[22]  Carlos Delgado Kloos,et al.  Applying model checking to BPEL4WS business collaborations , 2005, SAC '05.

[23]  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).

[24]  Ekkart Kindler,et al.  ESTL: A Temporal Logic for Events and States , 1998, ICATPN.

[25]  Marco Aldinucci,et al.  Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I , 2008, ICCS.

[26]  James V. Hansen,et al.  The application of model checking for securing e-commerce transactions , 2006, Commun. ACM.

[27]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

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

[29]  Bernhard Thalheim,et al.  On Defining the Behavior of OR-joins in Business Process Models , 2009, J. Univers. Comput. Sci..

[30]  Dimitra Giannakopoulou,et al.  Fluent model checking for event-based systems , 2003, ESEC/FSE-11.

[31]  Christoph Klauck,et al.  Formal business process engineering based on graph grammars , 1997 .

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

[33]  Monique Snoeck,et al.  Business Process Verification: A Petri Net Approach , 2007 .

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

[35]  J. Bergstra,et al.  Handbook of Process Algebra , 2001 .

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

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

[38]  Andreas Speck,et al.  Checkable Graphical Business Process Representation , 2010, ADBIS.

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

[40]  Robin Milner,et al.  On Observing Nondeterminism and Concurrency , 1980, ICALP.

[41]  Elke Pulvermüller.  Reducing the Gap between Verification Models and Software Development Models , 2009, SoMeT.

[42]  Joseph Sifakis,et al.  Automatic Verification Methods for Finite State Systems , 1989, Lecture Notes in Computer Science.

[43]  Joël Ouaknine,et al.  State/Event-Based Software Model Checking , 2004, IFM.

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