Abstract: To guarantee the exactness and consistency of communication,interaction and coordination between organizations,the business process was modeled and verified.According to the application requirements,the business process unit participated in coordination was obtained.Based on the collaborative semantic,the collaborative relationships existed in units were divided,and a parallel modeling for cross-organization business process was carried out with the idea of equivalence partition.Through the parallel modeling for purchase order in supply chain,the comparison with the current and typical works was did,and the results showed that the cross-organization collaboration model could improve the efficiency of formal verification and shorten the time of formal verification.

Key words: cross-organization business process, collaboration, parallel modeling, semantics

摘要： 为确保组织之间通信、交互和协作实施的正确性和一致性,对业务过程进行建模和验证,并关注形式验证的效率,根据应用需求获取参与协同的业务过程单元;基于协作点的语义对业务过程单元间存在的协作关系进行划分,应用等价划分的思想对跨组织业务过程协同进行并行建模,得到跨组织业务过程协同模型;通过对协同制造中供应链内的采购订单进行并行建模,与现有的、具有代表性的方法进行对比并进行了理论分析。结果表明,跨组织业务过程协同模型能够提高模型的形式验证效率、减少形式验证时间。

关键词: 跨组织业务过程, 协同, 并行建模, 语义