流程编排中的合规性验证：基础、算法与实现
计算机科学中的逻辑
2021-12-20 v2
摘要
当前对互操作性的推动促使企业通过流程编排进行协作。同时，它们面临着持续变化的法规丛林（例如由于疫情和英国脱欧等事态发展），这些法规深刻影响着跨组织协作。例如，试想跨越多个国家且面临不同甚至冲突的 COVID19 旅行限制的供应链。因此，在流程编排中提供自动合规性验证对于任何跨组织业务流程都至关重要。一个特殊的挑战在于，在存在全局合规规则（Global Compliance Rules, GCR）——即跨越多个伙伴流程的规则——的情况下，伙伴流程的可见性受到限制。本研究探讨在受影响的任务不完全可见时如何验证全局合规性。我们的想法是将 GCR 分解为所谓的断言，每个受影响的伙伴均可检查这些断言，且该分解既是正确的又是无损的。该算法利用了底层规则规范的可传递性，并在考虑循环等高级方面的情况下证明了其正确性与复杂度。该算法在一个概念验证原型中实现，包含一个用于验证合规性的模型检查器。通过一个真实的制造业用例进一步展示了该方法的适用性。
引用
@article{arxiv.2110.09399,
title = {Verifying Compliance in Process Choreographies: Foundations, Algorithms, and Implementation},
author = {Walid Fdhila and David Knuplesch and Stefanie Rinderle-Ma and Manfred Reichert},
journal= {arXiv preprint arXiv:2110.09399},
year = {2021}
}