摘要
分析了对工作流进行形式化建模的意义,应用Pi演算对工作流高级模式进行了形式化描述。在深入研究工作流过程基本结构特征与Pi演算基本理论的基础上,提出了一种语义清晰的描述方法,该方法相比以前的方法可以更好地描述工作流的动态改变,为进一步形式化分析、描述工作流奠定了基础。最后以旅游预订业务系统为实例进行了业务过程建模。
The paper analyzes the significance of formalizing workflow pattern and uses the Pi calculation to formalize advanced workflow patterns, and proposes an accurate semantics workflow formalizing method on the foundation of lucubrating basic framework characteristics of workflow and Pi calculation theory. This method is favorable compared with former ways in describing dynamic changes of the workflow process. Finally, the validity of the formalizing method with the tour-book system instance is proved.
出处
《信息工程大学学报》
2009年第4期537-541,556,共6页
Journal of Information Engineering University
基金
科研基金资助项目
关键词
工作流
工作流高级模式
PI演算
形式化描述
workflow
workflow advanced patterns
Pi calculus
formalizing description
