Paper Info
Title
A Formalization Proposal of Timed BPMN for Compositional Verification of Business Processes
Abstract
The Business Process Modelling Notation (BPMN) is currently being used by companies as the Business Process (BP) standard modeling language. In this work, we define a timed semantics of BPMN in terms of the Communicating Sequential Processes + Time (CSP+T) process calculus in order to detail the behaviour of processes within a fixed time span. By adding a formal specification to the response times of activities, temporal constraints, and temporal constraints in communications and task collaboration. we are able to specify and develop the Business Process Task Model (BPTM) of a target BP. We also demonstrate how our proposal can be integrated into the Formal Compositional Verification Approach (FVCA) to allow the use of state-of-the-art MC tools to automatically verify BPTMs. Finally, we examine the application of the proposal to a BPTM verification related to the Customer Relationship Management (CRM) enterprise-business.
Year
DOI
Venue
2010
10.1007/978-3-642-19802-1_27
ENTERPRISE INFORMATION SYSTEMS
Keywords
Field
DocType
Compositional verification,Formal specification,Transformation rules,Task model,Model-Checking
Artifact-centric business process model,Data mining,Software engineering,Business process,Computer science,Communicating sequential processes,Formal specification,Business process modeling,Process calculus,Business Process Model and Notation,Database,Business rule
Conference
Volume
ISSN
Citations 
73.0
1865-1348
3
PageRank 
References 
Authors
0.39
7
3
Name
Order
Citations
PageRank
Luis E. Mendoza Morales1144.86
Manuel I. Capel25217.35
María Pérez39519.89