Automatic verification of business process integrity. (10th March 2009)
- Record Type:
- Journal Article
- Title:
- Automatic verification of business process integrity. (10th March 2009)
- Main Title:
- Automatic verification of business process integrity
- Authors:
- Capel-Tunon, Manuel I.
Mendoza-Morales, Luis E.
Benghazi-Akhlaki, Kawtar - 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.
- Is Part Of:
- International journal of simulation and process modelling. Volume 4:Number 3/4(2008)
- Journal:
- International journal of simulation and process modelling
- Issue:
- Volume 4:Number 3/4(2008)
- Issue Display:
- Volume 4, Issue 3/4 (2008)
- Year:
- 2008
- Volume:
- 4
- Issue:
- 3/4
- Issue Sort Value:
- 2008-0004-NaN-0000
- 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 - Journal URLs:
- http://www.inderscience.com/ ↗
http://www.inderscience.com/jhome.php?jcode=ijspm ↗
http://www.inderscience.com/browse/index.php?journalID=100 ↗ - Languages:
- English
- ISSNs:
- 1740-2123
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library DSC - BLDSS-3PM
British Library STI - ELD Digital store - Ingest File:
- 8906.xml