Modeling and Analysis of Workflow Based on TLA
|
Title | Modeling and Analysis of Workflow Based on TLA |
Authors | |
Abstract | We proposed an approach in modeling and analysis of workflow based on temporal logic of action. A workflow model is divided in to two parts: the description of scheduler as well as database updating and the description of properties, each part is expressed in a TLA formula. The analysis of properties is composed by scheduling analysis and database properties analysis and their proof process is equivalence to the verification of the implementation relationship between the model formula and the formula of its properties. Thus, established an unified framework for modeling and property analysis of workflow in deferent levels. |
Publisher | ACADEMY PUBLISHER |
Date | 2009-01-01 |
Source | Journal of Computers Vol 4, No 1 (2009): Special Issue: Recent Advances in Information Technology and Security - Track o |
Rights | Copyright © ACADEMY PUBLISHER - All Rights Reserved.To request permission, please check out URL: http://www.academypublisher.com/copyrightpermission.html. |