DBIS EPub

Decomposition-based Verification of Global Compliance in Process Choreographies

Fdhila, Walid and Rinderle-Ma, Stefanie and Knuplesch, David and Reichert, Manfred (2020) Decomposition-based Verification of Global Compliance in Process Choreographies. In: 24th Int'l Enterprise Distributed Object Computing Conference (EDOC 2020), 5 - 8 October 2020, Eindhoven, The Netherlands. (Accepted for Publication)

[img] PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
417Kb

Abstract

The verification of global compliance rules (GCR) in process choreographies (e.g., partner-spanning quality assurance in supply chains) is crucial and challenging due to the restricted visibility of the private processes of the collaborating partners. This paper provides a novel algorithm that decomposes global compliance rules into assertions that can be verified by the partners in a distributed way without revealing any private process details. The decomposition is based on transitivity properties of the underlying GCR specification. This work uses GCR based on antecedent and occurrence patterns and illustrates the transitivity properties based on their specification in first order predicate logic. It is formally shown that the original GCR can be reconstructed from the assertions, which ensures the viability of the approach. The algorithms are prototypically implemented and applied to several scenarios. The ability of checking global compliance constitutes a fundamental pillar of any approach implementing process choreographies with multiple partners.

Item Type:Conference or Workshop Item (Paper)
Uncontrolled Keywords:Distributed and cross-organizational business processes, Business rules and compliance management, Business process compliance, Global compliance rules, Rule decomposition
Subjects:DBIS Research > Publications
ID Code:1958
Deposited By: Prof. Dr. Manfred Reichert
BibTex Export:BibTeX
Deposited On:07 Oct 2020 17:13
Last Modified:07 Oct 2020 17:13

Repository Staff Only: item control page