Title :
Using temporal logics for modeling and analysis of workflows
Author :
Wang, Yuan ; Fan, Yushun
Author_Institution :
Dept. of Autom., Tsinghua Univ., Beijing
Abstract :
A method for modeling and analyzing workflows based on Temporal Logic of Actions is presented. After a brief review of TLA, present the semantic of workflow process using TLA and illustrate how to modeling and analysis workflow using TLA. In TLA, both the workflow model and its properties are modeled by TLA formulas. Analysis of workflow model in TLA is carried out by validating the implication relationship between two formulas. Finally, the process of modeling and analysis is validated through a case study
Keywords :
inference mechanisms; temporal logic; temporal reasoning; workflow management software; TLA formulas; TLA workflow model analysis; temporal logic; Application software; Automation; Calculus; Computer integrated manufacturing; Humans; Logic; Petri nets; Process planning; Speech analysis; Workflow management software;
Conference_Titel :
E-Commerce Technology for Dynamic E-Business, 2004. IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7695-2206-8
DOI :
10.1109/CEC-EAST.2004.72
