一种基于不变量的工作流协同模型分解方法-计算机学报.pdf

第卷第期 计 算 机 学 报 ３５ １０ 　 　　　　　　　　 Ｖｏｌ．３５Ｎｏ．１０ 年月 ２０１２１０ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｏｃｔ．２０１２ 　 一种基于不变量的工作流协同模型分解方法 ），） ），） ），） ），） ），） ），） １２ １４ １５ １３ １２ １２ 葛季栋 胡海洋 周宇 胡昊 王栋毅 过晓波 　 　　 　　 　 　 ） １（计算机软件新技术国家重点实验室（南京大学）南京 ） ２１００９３ 　 　 ） ２（南京大学软件学院南京 ） ２１００９３ 　 　 ） ３（南京大学计算机科学与技术系南京 ） ２１００９３ 　 　 ） ４（杭州电子科技大学计算机学院杭州 ） ３１００１８ 　 　 ） ５（南京航空航天大学计算机科学与技术学院南京 ） ２１００１６ 　 　 ， ， 摘要现代企业计算的业务过程越来越复杂有很多分散且相对独立的组织机构为了协同来自不同组织的业 　　 ， （ ） ， 务过程文中提出一种 模型面向交互的 网用于描述跨组织的工作流协同该模型包含组织内的过程 ＩＯＰＮ Ｐｅｔｒｉ ， （ 模型和组织间的交互关系为了确保 模型能够被正确地执行文中提出 模型的弱合理性 ． ＩＯＰＮ ＩＯＰＮ ｒｅｌａｘｅｄ ）作为 模型的正确性标准之一 模型是一种复合模型，其规模一般较大，采用基于状态空间的 ｓｏｕｎｄｎｅｓｓ ＩＯＰＮ ．ＩＯＰＮ