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