DocumentCode
2465622
Title
Using temporal logics for modeling and analysis of workflows
Author
Wang, Yuan ; Fan, Yushun
Author_Institution
Dept. of Autom., Tsinghua Univ., Beijing
fYear
2004
fDate
15-15 Sept. 2004
Firstpage
169
Lastpage
174
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;
fLanguage
English
Publisher
ieee
Conference_Titel
E-Commerce Technology for Dynamic E-Business, 2004. IEEE International Conference on
Conference_Location
Beijing
Print_ISBN
0-7695-2206-8
Type
conf
DOI
10.1109/CEC-EAST.2004.72
Filename
1388319
Link To Document