@inproceedings{454246a4958742738bf42514ce1aed6f,
title = "N{\`o}mos 3: Legal compliance of roles and requirements",
abstract = "The problem of regulatory compliance for a software system consists of ensuring through a systematic, tool-supported process that the system complies with all elements of a relevant law. To deal with the problem, we build a model of the law and contrast it with a model of the requirements of the system. In earlier work, we proposed a modelling language for law (N{\`o}mos 2) along with a reasoning mechanism that answers questions about compliance. In this paper we extend N{\`o}mos 2 to include the concepts of role and requirement so that we can reason about compliance in specific domains. Also, N{\`o}mos 3 represents the distribution of responsibilities to roles, distinguishing social from legal roles. N{\`o}mos 3 models allow us to reason about compliance of requirements and roles with the norms that constitute a law. A small case study is used to illustrate the elements of N{\`o}mos 3 and the kinds of reasoning it supports.",
keywords = "Regulatory compliance, Requirement engineering, Roles",
author = "Silvia Ingolfo and Ivan Jureta and Alberto Siena and Anna Perini and Angelo Susi",
year = "2014",
month = jan,
day = "1",
language = "English",
isbn = "9783319122052",
volume = "8824",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "275--288",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "Germany",
note = "33rd International Conference on Conceptual Modeling, ER 2014 ; Conference date: 27-10-2014 Through 29-10-2014",
}