Abstract:  With the development of economic globalization, the business operations in enterprises have switched from in-company solo business process to inter-enterprise cooperative business process. Thus, the research on the compatibility and correction of cooperative business process is necessary to make sure that the cooperative business process can operate correctly. This paper comes up with a method about compatibility detection and correction for interorganization cooperative business process therefor, based on the theory of Petri nets and process mining: First of all, using Petri net to model the business process and cooperative business process; Then, defining the compatibility in business process and cooperative business process, and providing the corresponding detection algorithms respectively; Finally, taking an actual purchasing process as an example, and detecting and correcting the incompatible cooperative business process in it. Case study shows that it is feasible to correct the incompatible cooperative business process and end up in a well-compatible cooperative business process model without any changes in local business process.

Key words: collaborative business process, compatibility, corrective method

摘要： 随着经济全球化的发展，企业的业务活动已从企业内单独的业务过程发展成为跨企业多个协同业务过程的模式，为了确保协同业务过程实施的正确性，协同业务过程相容性及修正是一个不可或缺的研究问题。为此，结合Petri网及过程挖掘的相关理论，提出了一种跨组织协同业务过程的相容性检测及修正方法。首先基于Petri网对业务过程及协同业务过程进行建模；然后对业务过程和协同业务过程的相容性进行定义，并分别给出了相应的检测算法；最后以现实中的购买过程为案例，检测出该购买过程中存在的不相容的协同业务过程，并予以修正。结果表明，在不改变局部业务过程的情况下，对本来不相容的协同业务过程进行修正，并最终达到一种好的满足相容性的协同业务过程模型。

关键词: 协同业务过程, 相容性, 修正方法