Full Text:   <1156>

CLC number: TP311.5

On-line Access: 

Received: 2002-09-28

Revision Accepted: 2003-04-29

Crosschecked: 0000-00-00

Cited: 11

Clicked: 3131

Citations:  Bibtex RefMan EndNote GB/T7714

-   Go to

Article info.
1. Reference List
Open peer comments

Journal of Zhejiang University SCIENCE A 2003 Vol.4 No.6 P.643~650


Approach for workflow modeling using π-calculus

Author(s):  YANG Dong, ZHANG Shen-sheng

Affiliation(s):  Department of Industrial Engineering, Shanghai Jiaotong University, Shanghai 200030, China; more

Corresponding email(s):   dongyangcn@hotmail.com

Key Words:  Workflow modeling, π, -calculus, Business process modeling

Share this article to: More

YANG Dong, ZHANG Shen-sheng. Approach for workflow modeling using π-calculus[J]. Journal of Zhejiang University Science A, 2003, 4(6): 643~650.

@article{title="Approach for workflow modeling using π-calculus",
author="YANG Dong, ZHANG Shen-sheng",
journal="Journal of Zhejiang University Science A",
publisher="Zhejiang University Press & Springer",

%0 Journal Article
%T Approach for workflow modeling using π-calculus
%A YANG Dong
%A ZHANG Shen-sheng
%J Journal of Zhejiang University SCIENCE A
%V 4
%N 6
%P 643~650
%@ 1869-1951
%D 2003
%I Zhejiang University Press & Springer
%DOI 10.1631/jzus.2003.0643

T1 - Approach for workflow modeling using π-calculus
A1 - YANG Dong
A1 - ZHANG Shen-sheng
J0 - Journal of Zhejiang University Science A
VL - 4
IS - 6
SP - 643
EP - 650
%@ 1869-1951
Y1 - 2003
PB - Zhejiang University Press & Springer
ER -
DOI - 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 new 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. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π;-calculus, thus facilitating the optimization of business processes.

Darkslateblue:Affiliate; Royal Blue:Author; Turquoise:Article


[1]Alonso, G.and Mohan, C., 1997.Workflow Management: The Next Generation of Distributed Processing Tools.In: S.Jajodia, L.Kerschberg (Eds.), Advanced Transaction Models and Architectures, Kluwer Academic Publishers.

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

[3]Bandinelli, S., Fuggetta, A., Ghezzi, C.and Lavazza, L., 1994.SPADE: An Environment for Software Process Analysis, Design, and Enactmen.In: Finkelstein, A., Kramer, J., Nuseibeh, B., editors.Software Process Modelling and Technology.John Wiley & Sons, London,England, p.223-244.

[4]Bradfield, C.and Stirling, C., 2001.Modal Logics and Mu-calculi: An Introduction.In: Bergstra, A., Ponse, A., Smolka, S.A., editors, Handbook of Process Algebra.Elsevier Science, p.293-330.

[5]Casati, F., Grefen, P.and Sanchez, G.,1997.WIDE - A Distributed Architecture for Workflow Management.In: Proceedings 7th International Workshop on Research Issues in Data Engineering,Birmingham,England, P.76-79.

[6]Ellis, C.and Nutt, G., 1993.Modeling and Enactment of Workflow Systems.In: M.Ajmone Marsan, editor, Application and Theory of Petri Nets (LNCS691), Springer-Verlag, Berlin, Heidelberg, p.1-16.

[7]Kappel, G., Rausch-Schott, S.and Retschitzegger, W., 1998.Coordination in Workflow Management Systems - A Rule-based Approach.In: Conen, W., Neumann, G., editors, Coordination Technology for Collaborative Applications - Organizations, Processes, and Agents (LNCS 1364), Springer, Berlin, Heidelberg, p.99-120.

[8]Krishnakumar, N.and Sheth, A., 1995.Managing heterogeneous multi-system tasks to support enterprise-wide operations.Distributed and Parallel Databases, 3(2).p.155-186.

[9]Lawrence, P.(editor), 1997.Workflow Handbook 1997.John Wiley and Sons, New York.

[10]Milner, R., 1989.Communication and Concurrency.Prentice Hall, New York.

[11]Milner, R., Parrow, J.and Walker, D., 1992.A calculus for mobile processes, parts I and II.Journal of Information and Computation, 100:1-77.

[12]Milner,R., 1999.Communicating and Mobile Systems: the π-Calculus.Cambridge University Press.

[13]Van der Aalst, W.M.P., 1996.Petri-net-based Workflow Management Software.In: A.Sheth, editor, Proceedings of the NFS Workshop on Workflow and Process Automation in Information Systems, Athens, Georgia, p.114-118.

[14]Van der Aalst, W.M.P., 1998. The application of petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21-66.

[15]Victor, B. and Moller, F.,1994. The Mobility Workbench-A Tool for the π-calculus.In: Dill, D., ed., Proceedings of the Conference on Computer-Aided Verification (CAV'94)(LNCS818), Springer-Verlag, Berlin, Heidelberg, p.428-440.

[16]Zhang, S.S., 1996. From CIMS to dynamic alliance. China Mechanical Engineering, 7(3): 17-22.

Open peer comments: Debate/Discuss/Question/Opinion


Please provide your name, email address and a comment

Journal of Zhejiang University-SCIENCE, 38 Zheda Road, Hangzhou 310027, China
Tel: +86-571-87952783; E-mail: cjzhang@zju.edu.cn
Copyright © 2000 - Journal of Zhejiang University-SCIENCE