| 基于Pi演算和EECA规则的跨组织工作流建模研究 |
| |
| 引用本文： | 钟晓雄,张远平.基于Pi演算和EECA规则的跨组织工作流建模研究[J].计算机工程与设计,2010,31(17). |
| |
| 作者姓名： | 钟晓雄 张远平 |
| |
| 作者单位： | 兰州理工大学,计算机与通信学院,甘肃,兰州730050 |
| |
| 摘 要： | 针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法.将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题.利用Pi演算技术,对跨组织的本地工作流的协同方式进行了形式化描述.分析了协同模型及其执行过程,并给出了一个应用实例验证了提出的模型具有较好的柔性,可以有效用于本地工作流间的协同工作,并且适合于对分布式协同环境下的工作流进行建模.
|
| 关 键 词： | 跨组织工作流 EECA规则 Pi演算 本地工作流 柔性 |
Modeling research for inter-organizational workflow based on Pi-Calculus and EECA rule |
| |
| ZHONG Xiao-xiong,ZHANG Yuan-ping.Modeling research for inter-organizational workflow based on Pi-Calculus and EECA rule[J].Computer Engineering and Design,2010,31(17). |
| |
| Authors: | ZHONG Xiao-xiong ZHANG Yuan-ping |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
