工作流模式的π演算建模研究

被引:7
作者
黄贤明
李长云
梁爱南
机构
[1] 湖南工业大学计算机系
关键词
π演算; ECA规则; 工作流模式;
D O I
暂无
中图分类号
TP311.52 [];
学科分类号
摘要
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,提出了一种新的用于工作流模式的形式化建模方法,以π演算作为工作流形式化的基础,并利用π演算对工作流模式进行了建模。
引用
收藏
页码:66 / 68+73 +73
页数:4
相关论文
共 5 条
[1]  
An introduction to theπ–calculus//Bergstra J A,Ponse A,Smolka S A. Parrow J. Handbook of Process Algebra[S.l.]:Elsevier . 2001
[2]  
Business process management–the third wave. Smith H,Fingar P. . 2002
[3]  
Communicating and mobile systems:theπ-calculus. Milner R. . 1999
[4]  
Expressiveness and suitability of languages for control flow modeling in workflows. Kiepuszewski. . 2002
[5]  
Work Flow Patterns. van der Aalst W M P,Barros A P,ter Hofste de A H M,et al. . 2002