跨组织动态协作业务流程组合建模与验证(英文) | |
胡庆成 ; 邢春晓 ; 杨吉江 ; 严琪 ; 李益民 ; Hu Qingcheng ; Xing Chunxiao ; Yang Jijiang ; Yan Qi ; Li Yimin | |
2010-06-09 ; 2010-06-09 | |
关键词 | 跨组织协作 pi-演算 业务流程建模 模型验证 inter-organizational collaboration pi-calculus business process modeling model verification F224 |
其他题名 | Dynamic business process modeling and verification for inter-organizational collaboration |
中文摘要 | 为了实现随需应变、动态组合的跨组织协作业务流程模型,将pi-演算理论引入业务流程建模与验证中,应用pi-演算理论建立了多角色、多维度、多集成性的业务流程跨组织协同的模型.新的业务流程模型为M×N多维度网状关系,同时兼顾了以往单一的线性顺序关系模型,并分别从横向与纵向对该协作业务流程模型进行了形式化描述.最后依据pi-演算理论对样例模型的死锁、活锁以及同步性进行了验证,确保了模型的正确性和可行性.跨组织动态协作业务流程模型具有稳固的理论基础,为跨部门、跨区域分布式信息交互提供了新的思路和方法.; To achieve an on-demand and dynamic composition model of inter-organizational business processes,a new approach for business process modeling and verification is introduced by using the pi-calculus theory.A new business process model which is multi-role,multi-dimensional,integrated and dynamic is proposed relying on inter-organizational collaboration.Compatible with the traditional linear sequence model,the new model is an M譔 multi-dimensional mesh,and provides horizontal and vertical formal descriptions for the collaboration business process model.Finally,the pi-calculus theory is utilized to verify the deadlocks,livelocks and synchronization of the example models.The result shows that the proposed approach is efficient and applicable in inter-organizational business process modeling.; The National Natural Science Foundation of China(No60473078) |
语种 | 英语 ; 英语 |
内容类型 | 期刊论文 |
源URL | [http://hdl.handle.net/123456789/55545] ![]() |
专题 | 清华大学 |
推荐引用方式 GB/T 7714 | 胡庆成,邢春晓,杨吉江,等. 跨组织动态协作业务流程组合建模与验证(英文)[J],2010, 2010. |
APA | 胡庆成.,邢春晓.,杨吉江.,严琪.,李益民.,...&Li Yimin.(2010).跨组织动态协作业务流程组合建模与验证(英文).. |
MLA | 胡庆成,et al."跨组织动态协作业务流程组合建模与验证(英文)".(2010). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论