Finite automata modelling and analysis of Workflow Management Systems

Houshang Darabi

International Journal of Industrial and Systems Engineering, 2006, vol. 1, issue 3, 388-411

Abstract: We introduce a finite automata based framework for modelling and analysis of Workflow Management Systems (WFMS). Using the workflow behaviour set and its control specifications we develop a workflow control structure. The control structure is used to verify workflow properties such as consistency, redundancy, control switching, scalability and control reconfiguration. Most of these properties cannot be verified by other workflow analysis methods. An order processing example is used for illustrative purposes.

Keywords: workflow management systems; WFMS; finite automata analysis; consistency; redundancy; control switching; scalability; control reconfiguration; workflow control; workflow modelling; business process management. (search for similar items in EconPapers)
Date: 2006
References: Add references at CitEc
Citations:

Downloads: (external link)
http://www.inderscience.com/link.php?id=9795 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:ids:ijisen:v:1:y:2006:i:3:p:388-411

Access Statistics for this article

More articles in International Journal of Industrial and Systems Engineering from Inderscience Enterprises Ltd
Bibliographic data for series maintained by Sarah Parker ().