Generally, a collaborative business process is a distributed process, in which a set of parallel business processes are involved. These business processes have complementary competencies and knowledge, and cooperate with each other to achieve their common business goals. To ensure the correctness of collaborative business processes, we propose a novel plan-based correctness enforcement approach in this article, which is privacy-preserving, available and efficient. This approach first requires participating organizations to define their business processes. Then, each participating organization employs a set of reduction rules to build the public process of its business process, in which all internal private activities and the flows formed by them are removed. Next, a set of correct plans is generated from these public processes. A plan is essentially a process fragment without alternative routings. From the external perspective (i.e., ignoring all internal private activities and the flows formed by them), a parallel execution of the business processes corresponding to these public processes follows only one such plan. Lastly, each participating organization independently refactors its business process using these resulting correct plans. Using the message places (corresponding to the actual communication interfaces), these refactored processes are composed in parallel. Thus, a correct and loosely coupled enforced process is constructed. This approach is evaluated on actual collaborative business processes, and the experimental results show that compared with state-of-the-art enforcement proposals, it can achieve correctness enforcement while protecting the business privacy of organizations and is available. Meanwhile, it is also more efficient and scalable, even a collaborative business process with tens of millions of states can be enforced within a few seconds.

中文翻译：

---

使用计划强制协作业务流程的正确性


一般来说，协作业务流程是一个分布式流程，其中涉及一组并行的业务流程。这些业务流程具有互补的能力和知识，并相互合作以实现其共同的业务目标。为了确保协作业务流程的正确性，我们在本文中提出了一种新颖的基于计划的正确性执行方法，该方法保护隐私、可用且高效。这种方法首先要求参与组织定义其业务流程。然后，每个参与组织采用一组归约规则来构建其业务流程的公共流程，其中所有内部私人活动及其形成的流程都被删除。接下来，从这些公共流程中生成一组正确的计划。计划本质上是没有替代路线的流程片段。从外部的角度来看（即忽略所有内部私人活动及其形成的流程），与这些公共流程相对应的业务流程的并行执行仅遵循一个这样的计划。最后，每个参与组织使用这些最终的正确计划独立重构其业务流程。使用消息位置（对应于实际的通信接口），这些重构的过程是并行组成的。这样，就构建了一个正确且松散耦合的强制流程。该方法在实际的协作业务流程上进行了评估，实验结果表明，与最先进的执行方案相比，它可以在保护组织的业务隐私的同时实现正确性执行，并且是可用的。 同时，它也更加高效和可扩展，即使是具有数千万个状态的协作业务流程也可以在几秒钟内执行。