工作流模式π演算形式化.docVIP

工作流模式π演算形式化 　　摘要:为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述#65377;工作流模式是工作流建模的基本构造单元#65377;π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模#65377;首先提出以π演算作为工作流形式化的基础,然后利用π演算对工作流模式进行详细的描述#65377; 　　关键词:π演算;ECA规则;工作流模式 　　中图分类号:TP311 　　文献标识码:A 　　 　　1引言 　　 　　π演算(π-calculus)是Robin Milner提出的以进程间的移动通信为研究重点的并发理论,它是对CCS (Calculus of Communication System) 的发展[1,2]#65377;π演算是系统交互行为建模的理论基础,适合描述动态系统#65377;在工作流建模阶段使用π演算有助于清楚地描述工作流;而在模型建立后,则可利用π演算来推演系统的行为,同时验证模型的正确性,如发现系统行为不完整#65380;死锁#65380;缺少同步等;另外,π演算作为一种强大和成熟的形式化方法,π演算有支持其正确性验证和相关应用的工具,所以π演算自然地成为工作流过程建模的理想工具,例如,文[3,4] 使用π演算对工作流进行了初步的形式化#65377; 　　工作流模式(workflow patterns)是工作流建模的基本构造单元,从控制流的角度系统地描述了过程定义语言需要满足的业务需求,与特定的工作流语言无关#65377;本文着眼于对工作流过程建模中反复出现的模式即工作流模式进行π演算形式化#65377; 　　 　　2π演算 　　 　　在π演算中,进程是并发运行实体的单位,并以名字来统一定义通道名以及在通道中传送的消息,每个进程都有若干与其他进程联系的通道, 数据结构在这里被封装为与特定通道相关的进程,外部进程通过这些通道来操作相关结构#65377;其基本计算实体为名字和进程,进程之间的通信是通过传递名字来完成#65377; 由于π演算不但可以传递CCS 中的变量和值等,还可以传递通道名,并且将这几种实体都统称为名字而不再作区分,这使得π演算具有了建立新通道的能力#65377; 　　π演算有几种不同的符号表示[1,2,5,6],下面介绍π演算的基本语法可由以下BNF范式给出:π演算中最简单的实体是名字,名字的语法定义是标识符#65377;上述 　　π演算语法定义中,x是单个名字,与x互为对偶名字(Co-names),进程通过对偶名字进行交互#65377;P是π演算中另一实体进程的语法定义,而M是π演算中“和“(summations)的语法定义,用以表达选择关系#65377;π的语法给出进程能够执行的四种动作,称为前缀#65377;进程通过执行这些动作而进行演化#65377;π演算形式化π演算语法的形式语义运用约简关系和变迁关系定义,下面运用自然语言给出它的直观定义#65377; 　　(1)0表示非活动进程,即不做任何工作的进程#65377; 　　(2)前缀π.P表示具有π表示的单一行为能力,该能力执行后,执行进程P#65377; 　　输出前缀.p表示通过名字x输出名字y,然后执行进程P#65377; 　　输入前缀x(z).p表示通过名字x输入名字,并用输入的名字替换进程P中z, 然后执行替换后的进程P#65377; 　　哑前缀τ.P 表示做哑动作τ然后执行P,一般来说,τ用于表示进程外部不可见的内部动作#65377;匹配前缀[x=y]π.P 表示当x 和y 是同一名字时,执行π.P,否则不做任何工作#65377; 　　(3)“和“M1+M2表示选择执行进程M1#65380;M2中的一个#65377; 　　(4) 组装P1|P2表示并行执行P1和P2 #65377; 　　(5) 限制vzP表示名字z是P的局部名字,P在名字z上的外部动作被禁止,但P通过名字z的内部通信是允许的#65377; 　　(6) 复制! P表示无限多个P的组装#65377; 　　 　　3π演算形式化工作流模式 　　 　　3.1工作流模式简介 　　为了提供基本的工作流建模并评价工作流语言的描述能力, W.M.P. van der Aalst等借鉴设计模式的思想,对工作流模式[7,8]进行了收集和研究#65377;工作流模式指在过程建模中反复出现的模式,与特定的工作流语言无关#65377; 　　工作流模式分为6 类,共包含20个模式,具体分类如表1所示#65377; 　　 　　 3.2工作流模式的π演算形式化方法 　　用π演算形式化工作流时,将活动模型化为进程(process),让每一个活动对应一个独立的进程,每