Enterprise Regulatory Compliance Modeling using CoReL: An illustrative Example

Regulatory compliance management is a critical and challenging task, especially in the context of Business Process Management. It requires a comprehensive framework for dealing with compliance requirements: elicitation, modeling, static and dynamic checking and reporting. We previously defined CoReL, a domain specific language for the domain of compliance decision-making. This paper shows how CoReL can be used to model compliance requirements using an illustrative example. In particular, we show how CoReL agnosticism of logical formalisms and coverage of enterprise business aspects leverages the task of compliance modeling to the business user level.