Computer Science ›› 2009, Vol. 36 ›› Issue (11): 157-159.

Previous Articles     Next Articles

Lifecycle of Modeling Business Process Based on Pi Calculus

GUO Xiao-qun,HAO Ke-gang,HOU Hong,DING Jian-jie   

  • Online:2018-11-16 Published:2018-11-16

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

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!