Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (17): 66-68.

• 学术探讨 • Previous Articles     Next Articles

Modeling research for workflow patterns based on pi-calculus

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

  1. 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

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

黄贤明,李长云,梁爱南   

  1. 湖南工业大学 计算机系,湖南 株洲 412008
  • 通讯作者: 黄贤明

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

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

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