TY -非盟的莫七盟——王,韩宇奇盟——香,吉祥AU -李,通PY - 2020 DA - 2020/02/11 TI -协同业务流程的正确性检查方法在云中SP - 2751084六世- 2020 AB -云计算的日益普及,特别是业务流程作为服务的出现(BPaaS),越来越多的企业构建基于BPaaS服务的协作过程。事实上,协同业务流程由BPaaS服务可以被视为一个复杂的系统,因为它涵盖了多个业务流程(即。独立,BPaaS服务),他们的行为。由于业务流程对应BPaaS服务通常是由不同的云服务提供商,提供提前和他们的相互作用是不可预见的,在实际执行中,一些行为异常可能发生(例如,死锁)。为此,基于BPaaS服务,我们提出一个方法来构建过程协作在云中。在这种方法中,我们首先使用开放网协作业务流程模型。然后,我们检查他们的正确性基于顽固集。最后,以防他们部分是正确的,我们之间生成可靠的协调路径的执行业务流程。我们的方法是在管道中实现(佩特里网开放工具)和评估在实际情况下显示其有效性和效率。SN - 1076 - 2787你——https://doi.org/10.1155/2020/2751084——10.1155 / 2020/2751084 JF - PB - Hindawi KW - ER -复杂性