Using Temporal Logics for Modeling and Analysis of Workflows

Authors:
Yuan Wang;Yushun Fan
Affiliations:
Tsinghua University, Beijing, China;Tsinghua University, Beijing, China
Venue:
CEC-EAST '04 Proceedings of the E-Commerce Technology for Dynamic E-Business, IEEE International Conference
Year:
2004

Citing 0
Cited 4

A cooperative process-management system based on the manufacturing grid

International Journal of Computer Integrated Manufacturing - Networked Manufacturing and Mass Customization in the ECommerce Era: the Chinese Perspective
A Mechanism of Modeling and Verification for SaaS Customization Based on TLA

WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
A prolog-based language for workflow programming

COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
A model checker for WS-CDL

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper, 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.