论文部分内容阅读
传统企业的工作流系统大都采用基于活动的建模方法。而今，企业经常组成动态联盟，在联盟中，采用基于角色的建模方法更适合。因此，面向企业内部基于活动的过程模型与面向服务体系基于角色的过程模型的转换问题，变得日益重要。本文主要是对基于活动的过程模型与基于角色的过程模型转换进行研究。主要思路是：采用自顶向下的方法，使抽象层模型逐步分解到粒度小的底层模型；采用自底向上的方法将底层模型逐步抽象成顶层抽象概念模型，利用分支互模拟(branching bismulation)、行为等价等概念，以及ECA规则，证明基于活动和基于角色建模方法构建的工作流过程模型等价，同时给出了它们之间的相互转换方法。