Specification, Verification and Explanation of Violation for Data Aware Compliance Rules - Awad, Ahmed (Service-oriented computing, 2009)