基于Pi演算和EECA规则的跨组织工作流建模研究

doi:10.16208/j.issn1000-7024.2010.17.014

	基于Pi演算和EECA规则的跨组织工作流建模研究
	钟晓雄; 张远平
	2010-09-16
发表期刊	计算机工程与设计
ISSN	ISSN：1000-7024
期号	2010年17期页码:3831-3834
摘要	针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法。将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题。利用Pi演算技术,对跨组织的本地工作流的协同方式进行了形式化描述。分析了协同模型及其执行过程,并给出了一个应用实例验证了提出的模型具有较好的柔性,可以有效用于本地工作流间的协同工作,并且适合于对分布式协同环境下的工作流进行建模。
关键词	跨组织工作流 EECA规则 Pi演算本地工作流柔性
DOI	10.16208/j.issn1000-7024.2010.17.014
URL	查看原文
收录类别	CNKI
语种	中文
引用统计	无
文献类型	期刊论文
条目标识符	https://ir.lut.edu.cn/handle/2XXMBERH/14779
专题	兰州理工大学计算机与通信学院
作者单位	兰州理工大学计算机与通信学院
第一作者单位	计算机与通信学院
第一作者的第一单位	计算机与通信学院
推荐引用方式 GB/T 7714	钟晓雄,张远平. 基于Pi演算和EECA规则的跨组织工作流建模研究[J]. 计算机工程与设计,2010(2010年17期):3831-3834.
APA	钟晓雄,&张远平.(2010).基于Pi演算和EECA规则的跨组织工作流建模研究.计算机工程与设计(2010年17期),3831-3834.
MLA	钟晓雄,et al."基于Pi演算和EECA规则的跨组织工作流建模研究".计算机工程与设计 .2010年17期(2010):3831-3834.

条目包含的文件		下载所有文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
基于Pi演算和EECA规则的跨组织工作流（219KB）	期刊论文	出版稿	开放获取	CC BY-NC-SA	浏览下载