Paper Info
Title
Automatic Compositional Verification of Business Processes
Abstract
Nowadays the Business Process Modelling Notation (BPMN) has become a standard to provide a notation readily understandable by all business process (BP) stakeholders when it conics to carrying out the Business Process Modelling (BPM) activity. In this paper, we present a new Formal Compositional Verification Approach (FCVA), based on the Model-Checking verification technique for software, integrated with a formal software design method called MEDISTAM-RT Both are used to facilitate the development of the Task Model (TM) associated to a BP design. MEDISTAM-RT uses UML-RT as its graphical modelling notation and CSP+T formal specification language for temporal annotations. The application of FCVA is aimed at guaranteeing the correctness of the TM with respect to initial property specification derived from the BP rules. One instance of a BPM enterprise-project related to the Customer Relationship Management (CRM) business is discussed in order to show a practical use of our proposal.
Year
DOI
Venue
2009
10.1007/978-3-642-01347-8_40
Lecture Notes in Business Information Processing
Keywords
Field
DocType
Business Process Modelling,Verification,Model-Checking,Task Model,Formal Methods
Artifact-centric business process model,Data mining,Software engineering,Business process,Computer science,Process modeling,Formal specification,Formal methods,Business process modeling,Business Process Model and Notation,Database,Software verification
Conference
Volume
ISSN
Citations 
24
1865-1348
1
PageRank 
References 
Authors
0.37
5
2
Name
Order
Citations
PageRank
Luis E. Mendoza Morales1144.86
Manuel I. Capel25217.35