论文部分内容阅读
分析了对工作流进行形式化建模的意义，应用Pi演算对工作流高级分支和同步模式进行了形式化描述。在深入研究工作流过程基本结构特征与Pi演算基本理论的基础上，提出了一种语义清晰的描述方法，该方法相比以前的方法可以更好地描述工作流过程的动态改变，为进一步形式化分析、描述工作流奠定了基础。最后以旅游预订业务系统为实例。验证了该描述方法的正确性。