Please wait a minute...
ZJUS-A
Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering)  2003, Vol. 4 Issue (6): 643-650    DOI: 10.1631/jzus.2003.0643
Electronics & Information Technology     
Approach for workflow modeling using π-calculus
YANG Dong, ZHANG Shen-sheng
Department of Industrial Engineering, Shanghai Jiaotong University, Shanghai 200030, China; Department of Computer, Shanghai Jiaotong University, Shanghai 200030, China
Download:     PDF (0 KB)     
Export: BibTeX | EndNote (RIS)      

Abstract  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.

Key words： Workflow modeling      π-calculus      Business process modeling     
Received: 28 September 2002     
CLC:  TP311.5  
Service
E-mail this article
Add to my bookshelf
Add to citation manager
E-mail Alert
RSS
Articles by authors
YANG Dong
ZHANG Shen-sheng
Cite this article:

YANG Dong, ZHANG Shen-sheng. Approach for workflow modeling using π-calculus. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2003, 4(6): 643-650.

URL:

http://www.zjujournals.com/xueshu/zjus-a/10.1631/jzus.2003.0643     OR     http://www.zjujournals.com/xueshu/zjus-a/Y2003/V4/I6/643

[1] LIANG Hai-hua, ZHU Miao-liang. Applying the model driven generative domain engineering method to develop self-organizing architectural solutions for mobile robot[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2006, 7(10): 5-.
[2] HU Hua, ZHANG Yang. A framework for Internet service evolution based on active object[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2006, 7(10): 6-.
[3] WANG Mei-yuan, LU Yao-bin, ZHANG Jin-long. Software outsourcing risk management: establishing outsourcee evaluation item systems[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2006, 7(6): 1092-1098.
[4] CHEN Wei-dong, YANG Jian-jun, YE Cheng-qing, PAN Yun-he. Block-based test data adequacy measurement criteria and test complexity metrics[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2002, 3(1): 37-41.
[5] YING Jing, HE Zhi-jun, WU Ming-hui. EVOLUTION-BASED SOFTWARE DEVELOPING ENVIRONMENT[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2000, 1(4): 381-383.
[6] YING Jing. RESEARCH ON COMPUTER-AIDED PROTOTYPING SYSTEM AND SOFTWARE EVOLUTION[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2000, 1(4): 384-387.
[7] JIA Xiao-lin, QIN Zheng, HE Jian, YU Fan. A distributed software architecture design framework based on attributed grammar[J]. Journal of Zhejiang University-SCIENCE A (Applied Physics & Engineering), 2005, 6( 6): 7-.