Verifying Compliance in Process Choreographies: Foundations, Algorithms, and Implementation

10/14/2021
by   Walid Fdhila, et al.
0

The current push towards interoperability drives companies to collaborate through process choreographies. At the same time, they face a jungle of continuously changing regulations, e.g., due to the pandemic and developments such as the BREXIT, which strongly affect cross-organizational collaborations. Think of, for example, supply chains spanning several countries with different and maybe even conflicting COVID19 traveling restrictions. Hence, providing automatic compliance verification in process choreographies is crucial for any cross-organizational business process. A particular challenge concerns the restricted visibility of the partner processes at the presence of global compliance rules (GCR), i.e., rules that span across the process of several partners. This work deals with the question how to verify global compliance if affected tasks are not fully visible. Our idea is to decompose GCRs into so called assertions that can be checked by each affected partner whereby the decomposition is both correct and lossless. The algorithm exploits transitivity properties of the underlying rule specification, and its correctness and complexity are proven, considering advanced aspects such as loops. The algorithm is implemented in a proof-of-concept prototype, including a model checker for verifying compliance. The applicability of the approach is further demonstrated on a real-world manufacturing use case.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/08/2021

Efficient Checking of Temporal Compliance Rules Over Business Process Event Logs

Verifying temporal compliance rules, such as a rule stating that an inqu...
research
05/12/2021

Proving Regulatory Compliance: A Computational Complexity Analysis of Elementary Variants

Organisations model their processes using so-called business process mod...
research
01/28/2020

Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time

In this paper, we present a new methodology to evaluate whether a busine...
research
08/16/2022

What Your Firmware Tells You Is Not How You Should Emulate It: A Specification-Guided Approach for Firmware Emulation

Emulating firmware of microcontrollers is challenging due to the lack of...
research
10/01/2021

Continuous Compliance using Calculated Event Log Layers

Compliance has traditionally been a reactive activity, where directives ...
research
07/07/2023

Specification, Validation and Verification of Social, Legal, Ethical, Empathetic and Cultural Requirements for Autonomous Agents

Autonomous agents are increasingly being proposed for use in healthcare,...
research
06/30/2023

An ontological approach to compliance verification of the NIS 2 directive

Cybersecurity, which notoriously concerns both human and technological a...

Please sign up or login with your details

Forgot password? Click here to reset