基于Pi演算的工作控制流模式研究  

作　　者：傅琴[1] 潘孝铭[1] 

机构地区：[1]华侨大学信息科学与工程学院计算机系,福建泉州362021

出　　处：《福建电脑》2008年第10期102-103,129,共3页Journal of Fujian Computer

摘　　要：工作流模式指在工作流过程模型中反复出现的过程基本构造,是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准。本文以Pi演算作为工作流形式化的基础,对当前流行的一些工作流模式进行详细的描述,并提出一些应用实例。结果表明,该语言不仅能很好地支持工作流模式,而且具有建模简洁、准确的特点。

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论] TP301.6[自动化与计算机技术—计算机科学与技术]