文献类型：期刊文章

作　　者：黄贤明[1] 李长云[1] 梁爱南[1]

机构地区：[1]湖南工业大学计算机系,湖南株洲412008

出　　处：《计算机工程与应用》

基　　金：湖南省教育厅资助科研课题(the Research Project of Department of Education of Hunan Province; China under Grant No.052520)

年　　份：2007

卷　　号：43

期　　号：17

起止页码：66-68

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、核心刊

摘　　要：π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,提出了一种新的用于工作流模式的形式化建模方法,以π演算作为工作流形式化的基础,并利用π演算对工作流模式进行了建模。

关 键 词：Π演算 ECA规则 工作流模式

分 类 号：TP311]