Volume 4 Number 1 (Jan. 2009)
Home > Archive > 2009 > Volume 4 Number 1 (Jan. 2009) >
JCP 2009 Vol.4(1): 27-34 ISSN: 1796-203X
doi: 10.4304/jcp.4.1.27-34

Modeling and Analysis of Workflow Based on TLA

Chen Shu, Wu Guo Qing
Wu Han University Computer Science Department, Wu Han China

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.

Index Terms—Workflow, TLA, modeling, property analysis.

[PDF]

Cite: Chen Shu, Wu Guo Qing, "Modeling and Analysis of Workflow Based on TLA," Journal of Computers vol. 4, no. 1, pp. 27-34, 2009.

General Information

ISSN: 1796-203X
Frequency: Monthly
Editor-in-Chief: Prof. Liansheng Tan
Executive Editor: Ms. Nina Lee
Abstracting/ Indexing: DBLP, EBSCO,  ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jcp@iap.org
  • Sep 13, 2018 News!

    Vol 13, No 10 has been published with online version   [Click]

  • Apr 28, 2019 News!

    Vol 14, No 4 has been published with online version 8 papers are published in this issue after peer review   [Click]

  • Mar 20, 2019 News!

    Vol 14, No 3 has been published with online version   [Click]

  • Feb 22, 2019 News!

    Vol 14, No 2 has been published with online version 8 papers are published in this issue after peer review   [Click]

  • Jan 04, 2019 News!

    Vol 14, No 1 has been published with online version   [Click]

  • Read more>>