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

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (17): 66-68.

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

黄贤明，李长云，梁爱南

湖南工业大学计算机系，湖南株洲 412008

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-06-11 发布日期:2007-06-11
通讯作者: 黄贤明

Modeling research for workflow patterns based on pi-calculus

HUANG Xian-ming，LI Chang-yun，LIANG Ai-nan

Department of Computer，Hunan University of Technology，Zhuzhou，Hunan 412008，China

Received:1900-01-01 Revised:1900-01-01 Online:2007-06-11 Published:2007-06-11
Contact: HUANG Xian-ming

摘要/Abstract

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

关键词: π演算, ECA规则, 工作流模式

Abstract: The π-calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems.According to the syntax of π-calculus，a novel formal modeling method of workflow patterns has been proposed.The π-calculus has been regarded as a formal foundation for workflow，furthermore models workflow patterns by using the π-calculus.

Key words: π-calculus, ECA rule, workflow patterns

黄贤明，李长云，梁爱南. 工作流模式的π演算建模研究[J]. 计算机工程与应用, 2007, 43(17): 66-68.

HUANG Xian-ming，LI Chang-yun，LIANG Ai-nan. Modeling research for workflow patterns based on pi-calculus[J]. Computer Engineering and Applications, 2007, 43(17): 66-68.

[1]	郭荣佐^1，2，黄君³，王霖². 嵌入式联锁控制器软件体系结构动态建模研究[J]. 计算机工程与应用, 2010, 46(2): 213-217.
[2]	黄红梅^1，2，章云¹. 非确定选择平行模式的建模方法[J]. 计算机工程与应用, 2009, 45(28): 207-210.
[3]	王斌^1,2,章云¹,王晓红². 基于Petri网的工作流模式建模及应用[J]. 计算机工程与应用, 2008, 44(13): 238-241.
[4]	周涛^1,2. ACDB中ECA规则调度的一个新算法[J]. 计算机工程与应用, 2007, 43(16): 175-179.