论文部分内容阅读
传统的基于过程的工作流建模方法以过程为中心,忽视了角色之间的交互.本文从角色及其交互角度出发,考察了现有的基于角色的工作流过程建模方法,提出了一种基于Petri网的工作流角色建模方法.利用这种建模方法,可以清楚的描述出角色的外部接口,突出角色之间的协作关系,Petri网的形式化语义方便进行模型的验证和分析.