FB6 Mathematik/Informatik/Physik

Institut für Informatik

Navigation und Suche der Universität Osnabrück



Project name: Managing Regulatory Compliance: a Business-Centred Approach
Short name: MaRCo
Duration: 2010 - 2013
Funding: Fonds National de la Recherche Luxembourg (FNR)
Cooperation: Université du Luxembourg, NICTA Queensland Research Laboratory (Australia), University of Osnabrueck (Germany)
Keywords: Requirements Engineering, Modeling of Rules and Policies, Model-Driven-Development, Norms, Compliance Checking
Short description: 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.