Specification, Verification and Explanation of Violation for Data Aware Compliance Rules.

Ahmed Awad, Matthias Weidlich, Mathias Weske

Browse the full ICSOC paper archive.