Automatic verification of business process integrity. (10th March 2009)

• Record Type: Journal Article
• Authors: Capel-Tunon, Manuel I.; Mendoza-Morales, Luis E.; Benghazi-Akhlaki, Kawtar
• Is Part Of: International journal of simulation and process modelling. Volume 4:Number 3/4(2008)
• Page Start: 167
• Page End: 182
• Publication Date: 2009-03-10
• Subjects: business process modelling -- model checking verification -- formal methods -- software design -- software engineering -- task model -- customer relationship management -- CRM -- business process integrity; Management -- Computer simulation -- Periodicals; Mathematical models -- Periodicals; Operations research -- Periodicals; Simulation methods -- Periodicals; 003.05
• Languages: English
• ISSNs: 1740-2123

Abstract

Software engineering methods have shown to be useful in Business Process Modelling (BPM) for improving business-modelling techniques. In this paper, we describe how a Model-Checking (MC) verification technique for software can be integrated with a formal-oriented software design method named MEDISTAM-RT. This is currently used in the development of the Task Model (TM) associated with a Business Process (BP) definition by using UML, enriched with temporal annotations in CSP + T, as the main modelling language. To show a practical use of our proposal, an example of a BPM enterprise-project related to the Customer Relationship Management (CRM) business is discussed.