Computer Science ›› 2009, Vol. 36 ›› Issue (11): 157-159.
Previous Articles Next Articles
GUO Xiao-qun,HAO Ke-gang,HOU Hong,DING Jian-jie
Online:
Published:
Abstract: With the dramatic competition of enterprise, the technology of business modeling gets more and more important. Formal business process model receives a lot of attention in the scientific community because formal methodology is proved effective in avoiding ambiguity and feasible in supporting analysis and verification of model. 13ut at present,there is not suitable systemic theory and methodology to support modeling business process easily and to analyze and verify model formally. This paper discussed how to use formal methodology when modeling business process at the viewpoint of the lifecycle. I}he contribution of this paper is giving a lifecycle based on Pi calculus,discussing technology and tools used in every stage of lifecycle.
Key words: Pi calculus,Lifc cycle,Modelling business process
GUO Xiao-qun,HAO Ke-gang,HOU Hong,DING Jian-jie. Lifecycle of Modeling Business Process Based on Pi Calculus[J].Computer Science, 2009, 36(11): 157-159.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2009/V36/I11/157
Cited