Ahmed Awad, Matthias Weidlich, Mathias Weske. Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. In Luciano Baresi, Chi-Hung Chi, Jun Suzuki, editors, Service-Oriented Computing, 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings. Volume 5900 of Lecture Notes in Computer Science, pages 500-515, 2009. [doi]
Abstract is missing.