%0 Journal Article
%T 基于pi-演算的工作流模式描述
%J 计算机科学
%D 2008
%X 工作流模式包含了业务流程的基本特征和共性，其实现依赖于具体的流程建模语言或方法。pi-演算是一种进程代数，可以应用于业务流程的形式化建模。本文使用pi-演算作为业务流程形式化的工具，对存在多种bpmn表示的工作流模式进行形式化建模，以探究工作流模式pi-演算的描述，检验pi-演算对业务流程行为特征的表现能力。
%K 业务流程建模工作流模式pi-演算
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=27897906&flag=1