基于Pi-Calculus的跨组织工作流建模方法

• 作者: 冯志林 尹建伟 潘晓华 董金祥 郑正平
• 来源期刊: 计算机应用研究
• 关键词: 工作流建模 Pi-Calculus 跨组织流程
• 年，卷（期）: 2006,（1）
• 所属期刊栏目: 研究探讨
• 页码范围: 63-65,76
• 页数: 4页
• 分类号: TP301.6
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2006.01.021

摘要

针对跨组织协同环境下的业务流程建模技术的不足,提出了一个新的用于跨组织业务流程的形式化建模方法.首先根据工作流管理联盟(WfMC)的有关工作流过程定义接口规范,利用Pi-Calculus技术对跨组织业务流程结构进行了形式化定义.此外,利用Pi-Calculus特有机制对并发流程及其之间的通信进行描述.提出的方法可以有效用于不同业务流程间的协同工作,并且适合于对分布式协同环境下的工作流进行建模.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董金祥	浙江大学计算机科学与工程系	165	2786	31.0	42.0
2	尹建伟	浙江大学计算机科学与工程系	66	1037	17.0	30.0
3	冯志林	浙江大学计算机科学与工程系	11	146	7.0	11.0
7	郑正平		3	18	2.0	3.0
8	潘晓华	浙江大学计算机科学与工程系	1	9	1.0	1.0