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´s agnosticism of logical formalisms and coverage of enterprise business aspects leverages the task of compliance modeling to the business user level.