论文部分内容阅读
工作流模型缺乏一种支持过程定义以及过程分析的形式化数学模型,而π演算是一种移动进程代数运算,可用于对并发和动态变化的系统进行建模。首先提出了基于兀演算的工作流建模方法,然后经过对多种建模工具的比较和分析后,利用兀演算对业务流程结构进行了形式化定义,详细地阐述了各种活动和依赖关系在兀演算中的表示。该方法是完全形式化的方法,具有较强的语义表达能力,便于工作流的执行、推理和仿真等。