MARCO - Managing Regulatory Compliance: a Business-Centred Approach
This project is a joint project with Laboratory of Advanced Software SYstems (LASSY).
General information
Starting date - closing date: May 2010 - April 2013
Partners: University of Luxembourg, NICTA Queensland Research Laboratory, University of Osnabrück
Contact: Pierre Kelsen, Pierre.Kelsen AT uni DOT lu
Researchers
- Pierre Kelsen
- Leon van der Torre
Overview
The processes that underpin the businesses of our everyday lives are governed by regulations of ever growing complexity. In this context, it is important (a) to be able to describe these complex regulations rigorously, precisely and unambiguously, (b) that business practitioners are actually able to specify both regulations and business processes, and (c) to be able to check in an automated way that business processes comply with their underlying regulations. This project proposes to tackle these three issues. On one hand we want to improve existing approaches to formally describe (or model) norms. On the other hand we would like to make this practical and usable by practitioners in such a way that the mathematical based formalisms involved in norm specification do not constitute a barrier to practitioners that know the business domain, but not the underlying mathematical formalism being used and so we propose a visual-based approach to norm specification. Finally, we intend to check the compliance of business processes against the norms that govern them in order to be able to detect in an automated way business processes that violate their underlying regulations.
Research activities planned for 2010 are: starting to review the existing business process notations and their relationship to norms, clarifying the interactions between norms for regulations and policies for business processes, reviewing existing compliance checking techniques, and selecting a case study.

