Paper Info
Title
Compositional Verification Of Business Processes Modelled With Bpmn
Abstract
A specific check that is required to be performed as part of the Business Process Modelling (BPM) is on whether the activities and tasks described by Business Processes (BPs) are sound and well coordinated. In this work we present how the Model Checking verification technique for software can be integrated within a Formal Compositional Verification Approach (FVCA) to allow the automatic verification of BPs modelled with Business Process Modelling Notation (BPMN). The FVCA is based on a formal specification language with composition constructs. A timed semantics of BPMN defined in terms of the Communicating Sequential Processes + Time (CSP+T) extends untimed BPMN modelling entities with timing constrains in order to detail the behavior of BPs during the execution of real scenarios that they represent. With our proposal we are able to specify and to develop the Business Process Task Model (BPTM) of a target business system. In order to show a practical use of our proposal, a BPTM of an instance of a BPM enterprise project related to the Customer Relationship Management (CRM) business is presented.
Year
Venue
Keywords
2010
ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION
Business process modelling, Model checking, Task model, Compositional verification, Formal specification
Field
DocType
Citations 
Software engineering,Business process,Computer science,Knowledge management,Business Process Model and Notation
Conference
0
PageRank 
References 
Authors
0.34
4
3
Name
Order
Citations
PageRank
Luis E. Mendoza Morales1144.86
Manuel I. Capel Tuñón211.05
María Pérez39519.89