用Pi演算为业务过程建模的生命周期  

Lifecycle of Modeling Business Process Based on Pi Calculus

作　　者：郭小群[1] 郝克刚[1] 侯红[1] 丁剑洁[1] 

机构地区：[1]西北大学信息科学与技术学院,西安710069

出　　处：《计算机科学》2009年第11期157-159,195,共4页Computer Science

基　　金：国家高可信研究开发计划(2007AA010305)资助

摘　　要：随着企业竞争日趋激烈,业务过程建模技术变得越来越重要。由于形式化方法降低了二义性并为模型的分析和验证提供了可行性,因此形式化的业务过程建模技术在学术界引起了很多人的关注,但到目前为止仍缺乏一套既能方便地进行过程建模,又具有对模型进行形式化分析与验证的整套理论体系。从生命周期的角度入手,探讨如何把形式化方法更有效地应用于商业过程建模。主要工作在于提出了基于Pi演算的生命周期,探讨了生命周期各个阶段使用的技术和工具。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. But 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. The contribution of this paper is giving a lifecycle based on Pi calculus, discussing technology and tools used in every stage of lifecycle.

关 键 词：PI演算 生命周期 业务过程建模 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]