论文部分内容阅读
随着企业竞争日趋激烈，业务过程建模技术变得越来越重要。由于形式化方法降低了二义性并为模型的分析和验证提供了可行性，因此形式化的业务过程建模技术在学术界引起了很多人的关注，但到目前为止仍缺乏一套既能方便地进行过程建模，又具有对模型进行形式化分析与验证的整套理论体系。从生命周期的角度入手，探讨如何把形式化方法更有效地应用于商业过程建模。主要工作在于提出了基于Pi演算的生命周期，探讨了生命周期各个阶段使用的技术和工具。