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.

[thumbnail of EDOC2020_FRKR_2020.pdf] PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (427kB)


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
Depositing User: Prof. Dr. Manfred Reichert
Date Deposited: 07 Oct 2020 17:13
Last Modified: 11 May 2021 14:57

Actions (login required)

View Item
View Item