基于pi-演算的工作流模式描述

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