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

Walid Fdhila, David Knuplesch, Stefanie Rinderle-Ma +1

The current push towards interoperability drives companies to collaborate through process choreographies. At the same time, they face a jungle of continuously changing regulations,…