Title :
Analyzing Workflow Based on Restraints Using TLA
Author_Institution :
Sch. of Comput. Sci. & Technol., Shandong Univ., Jinan, China
Abstract :
In this paper, a method for analyzing workflow based on the restriction of limited resources is presented, which is expressed by Temporal Logic Action, after a brief review of TLA.
Keywords :
temporal logic; workflow management software; TLA; temporal logic action; workflow analysis; Algorithm design and analysis; Computer science; Insurance; Logic; Modeling; Reactive power; Real time systems; Research and development; Specification languages; System recovery;
Conference_Titel :
Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-4507-3
Electronic_ISBN :
978-1-4244-4507-3
DOI :
10.1109/CISE.2009.5365546
