摘要
针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法。将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题。利用Pi演算技术,对跨组织的本地工作流的协同方式进行了形式化描述。分析了协同模型及其执行过程,并给出了一个应用实例验证了提出的模型具有较好的柔性,可以有效用于本地工作流间的协同工作,并且适合于对分布式协同环境下的工作流进行建模。
After analyzing some defects in the existing modeling methods for inter-organizational processes,a formal modeling method for inter-organizationa1 workflow based on pi-calculus and EECA（Extended-ECA） rule is proposed.Firstly,the EECA rule,which extends in time,resolves the problems of ECA rules’ deficient in describing complex process related to time,is presented.At the same time,the collaborated manner of the local workflow in the inter-organizational workflow is described by using the pi-calculus technology.Finally,the implementation process of the proposed model is analyzed and an example is provided to prove the flexibility of the proposed method.The proposed method works well in the collaboration among local workflow and appropriates for the modeling of distributed cooperative workflow systems.
出处
《计算机工程与设计》
CSCD
北大核心
2010年第17期3831-3834,共4页
Computer Engineering and Design
