Paper Info
Title
Automating the Transformation from BPMN Models to CSP+T Specifications
Abstract
The complexity of modern Business Process Modelling (BPM) together with the absence of the appropriate validation tools is the main reason for the costly and non-evolutionary characteristics of these models. Temporal constructs of Extended Business Process Model and Notation (EBPMN) semantics are disambiguated here by using Communicating Sequential Processes+Time (CSP+T) process calculus, which adds new constructions to timed BPMN modelling entities for non-functional requirements specification. Our objective is to facilitate the description of a business process model as a collection of verified software components, thereby advancing to their complete verification with state-of-the-art model checking tools. One real-life example, Customer Relationship Management (CRM) modelled as a correct business task model is discussed to demonstrate the applicability of the verification approach.
Year
DOI
Venue
2012
10.1109/SEW.2012.17
SEW
Keywords
Field
DocType
formal specification,customer relationship management
Artifact-centric business process model,Business process management,Business process,Systems engineering,Computer science,Formal specification,Business process modeling,Process calculus,Business rule,Reliability engineering,Business Process Model and Notation
Conference
ISSN
ISBN
Citations 
1550-6215
978-1-4673-5574-2
2
PageRank 
References 
Authors
0.37
6
2
Name
Order
Citations
PageRank
Manuel I. Capel15217.35
Luis E. Mendoza2272.98