论文部分内容阅读
工作流模式包含了业务流程的基本特征和共性，其实现依赖于具体的流程建模语言或方法。Pi-演算是一种进程代数，可以应用于业务流程的形式化建模。本文使用Pi-演算作为业务流程形式化的工具，对存在多种BPMN表示的工作流模式进行形式化建模，以探究工作流模式Pi-演算的描述，检验Pi-演算对业务流程行为特征的表现能力。