Int. J. of Industrial and Systems Engineering   »   2006 Vol.1, No.3

 

 

Title: Finite automata modelling and analysis of Workflow Management Systems

 

Author: Houshang Darabi

 

Address: Department of Mechanical and Industrial Engineering, MC 251, 3031 ERF, 842 West Taylor, University of Illinois at Chicago, Chicago, IL 60607, USA

 

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.

 

DOI: 10.1504/IJISE.2006.009795

 

Int. J. of Industrial and Systems Engineering, 2006 Vol.1, No.3, pp.388 - 411

 

Available online: 12 May 2006

 

 

Editors Full text accessAccess for SubscribersPurchase this articleComment on this article