|
|||||
|
|
| 跨组织业务过程协同并行建模 | |
| 引用本文： | 莫启,代飞,朱锐,笪建,林雷蕾,李可,李彤. 跨组织业务过程协同并行建模[J]. 计算机集成制造系统, 2015, 21(4) |
| 作者姓名： | 莫启 代飞 朱锐 笪建 林雷蕾 李可 李彤 |
| 作者单位： | 1. 云南大学软件学院,云南昆明,650091 2. 云南大学软件学院,云南昆明650091;云南大学云南省软件工程重点实验室,云南昆明650091 3. 云南大学软件学院,云南昆明650091;淮安市高级职业技术学校信息工程系,江苏淮安223001 |
| 基金项目： | 国家自然科学基金资助项目，云南省自然科学基金资助项目，云南省教育厅科学研究基金资助项目，云南省软件工程重点实验室开放基金资助项目，第五批云南大学中青年骨干教师培养计划资助项目，the National Natural Science Foundation |
| 摘 要： | 为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组织业务过程协同进行并行建模,得到跨组织业务过程协同模型;通过对协同制造中供应链内的采购订单进行并行建模,与现有的、具有代表性的方法进行对比并进行了理论分析。结果表明,跨组织业务过程协同模型能够提高模型的形式验证效率、减少形式验证时间。 |
| 关 键 词： | 跨组织业务过程 协同 并行建模 语义 |
Parallel modeling for cross-organization business process |
|
| MO Qi,DAI Fei,ZHU Rui,DA Jian,LIN Lei-lei,LI Ke,LI Tong. Parallel modeling for cross-organization business process[J]. Computer Integrated Manufacturing Systems, 2015, 21(4) | |
| Authors: | MO Qi DAI Fei ZHU Rui DA Jian LIN Lei-lei LI Ke LI Tong |
| Abstract: | |
| Keywords: | cross-organization business process collaboration parallel modeling semantics |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |