跨组织动态协作业务流程组合建模与验证

• 作者: 严琪 李益民 杨吉江 胡庆成 邢春晓
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: 跨组织协作 pi-演算 业务流程建模 模型验证
• 年，卷（期）: 2007,（3）
• 页码范围: 455-460
• 页数: 6页
• 分类号: TP301
• 字数: 540字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2007.03.032

摘要

为了实现随需应变、动态组合的跨组织协作业务流程模型,将pi-演算理论引入业务流程建模与验证中,应用pi-演算理论建立了多角色、多维度、多集成性的业务流程跨组织协同的模型.新的业务流程模型为M×N多维度网状关系,同时兼顾了以往单一的线性顺序关系模型,并分别从横向与纵向对该协作业务流程模型进行了形式化描述.最后依据pi-演算理论对样例模型的死锁、活锁以及同步性进行了验证,确保了模型的正确性和可行性.跨组织动态协作业务流程模型具有稳固的理论基础,为跨部门、跨区域分布式信息交互提供了新的思路和方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邢春晓	清华大学信息技术研究院	84	2349	18.0	47.0
2	李益民	清华大学计算机科学与技术系	6	40	4.0	6.0
6	严琪	清华大学计算机科学与技术系	5	21	3.0	4.0
10	胡庆成	清华大学计算机科学与技术系	8	44	4.0	6.0
14	杨吉江	清华大学信息技术研究院	32	408	12.0	20.0