基于ConGolog并发语言面向角色的工作流建模

摘要：

长期以来,人们提出了各种工作流建模方法,但都缺乏对工作流模型形式化的描述手段.面向角色的工作流建模把工作流看出是由各个角色之间的交互行为构成的系统.因而,角色内部的复杂的行为活动以及角色之间的交互行为可以采用ConGolog语言来定义.本文提出了采用ConGolog并发语言来描述工作流模型的方法,所建议的方法不仅使工作流模型具有严密的语义,并能对模型进行推理和验证.

关键词：工作流建模、计算机集成制造(CIMS)、业务过程重组(BRP)、ConGolog

所属期刊栏目：25

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2002AA411420

在线出版日期：2004-10-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1525-1529