Approach for workflow modeling using π-calculus

被引：5

作者：

Yang, Dong ^{[1
]}

Zhang, Shen-Sheng ^{[2
]}

机构：

[1] Dept. of Indust. Eng., Shanghai Jiaotong Univ.

[2] Dept. of Comp., Shanghai Jiaotong Univ.

来源：

Journal of Zhejiang University: Science | 2003年 / 4卷 / 06期

关键词：

Business process modeling; Workflow modeling; π-calculus;

D O I：

10.1631/jzus.2003.0643

中图分类号：

学科分类号：

摘要：

As a variant of process algebra, π-calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a approach: representing workflow models using π-calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π-calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock-free and normal termination. The equivalence of workflow models can be checked through weak bisimulation theorem in the π-calculus, thus facilitating the optimization of business processes.

引用

页码：643 / 650

页数：7

共 16 条

[1]

Alonso G., Mohan C., Workflow management: The next generation of distributed processing tools, Advanced Transaction Models and Architectures, (1997)

[2]

Bandinelli S., Fuggetta A., Ghezzi C., Software process model evolution in the SPADE environment, IEEE Transactions on Software Engineering, 19, 12, pp. 1128-1144, (1993)

[3]

Bandinelli S., Fuggetta A., Ghezzi C., Lavazza L., SPADE: An environment for software process analysis, design, and enactment, Software Process Modelling and Technology, pp. 223-244, (1994)

[4]

Bradfield C., Stirling C., Modal logics and Mu-calculi: An introduction, Handbook of Process Algebra, pp. 293-330, (2001)

[5]

Casati F., Grefen P., Sanchez G., WIDE - A distributed architecture for workflow management, Proceedings 7th International Workshop on Research Issues in Data Engineering, pp. 76-79, (1997)

[6]

Ellis C., Nutt G., Modeling and enactment of workflow systems, Application and Theory of Petri Nets (LNCS691), pp. 1-16, (1993)

[7]

Kappel G., Rausch-Schott S., Retschitzegger W., Coordination in workflow management systems - A rule-based approach, Coordination Technology for Collaborative Applications-Organizations, Processes, and Agents (LNCS1364), pp. 99-120, (1998)

[8]

Krishnakumar N., Sheth A., Managing heterogeneous multi-system tasks to support enterprise-wide operations, Distributed and Parallel Databases, pp. 155-186, (1995)

[9]

Lawrence P., Workflow Handbook 1997, (1997)

[10]

Milner R., Communication and Concurrency, (1989)

← 1 2 →