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

摘要

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