Finite automata modelling and analysis of Workflow Management Systems Online publication date: Fri, 12-May-2006
by Houshang Darabi
International Journal of Industrial and Systems Engineering (IJISE), Vol. 1, No. 3, 2006
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.
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Industrial and Systems Engineering (IJISE):
Login with your Inderscience username and password:
Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.
If you still need assistance, please email subs@inderscience.com