Capturing variability of law with nómos 2

Authors:
Alberto Siena;Ivan Jureta;Silvia Ingolfo;Angelo Susi;Anna Perini;John Mylopoulos
Affiliations:
University of Trento, Trento, Italy;University of Namur, Namur, Belgium;University of Trento, Trento, Italy;FBK-Irst, Trento, Italy;FBK-Irst, Trento, Italy;University of Trento, Trento, Italy
Venue:
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Year:
2012

Citing 12
Cited 4

The structure of norm conditions and nonmonotonic reasoning in law

ICAIL '91 Proceedings of the 3rd international conference on Artificial intelligence and law
Tropos: An Agent-Oriented Software Development Methodology

Autonomous Agents and Multi-Agent Systems
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies

CSFW '06 Proceedings of the 19th IEEE workshop on Computer Security Foundations
Automatic semantics extraction in law documents

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Requirements Engineering

Requirements Engineering
Analyzing Regulatory Rules for Privacy and Security Requirements

IEEE Transactions on Software Engineering
Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking

DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Using Goal-Oriented Requirements Engineering for Improving the Quality of ISO/IEC 15504 based Compliance Assessment Frameworks

RE '08 Proceedings of the 2008 16th IEEE International Requirements Engineering Conference
Automating the Extraction of Rights and Obligations for Regulatory Compliance

ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Designing Law-Compliant Software Requirements

ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Towards a framework for tracking legal compliance in healthcare

CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Lex minus dixit quam voluit, lex magis dixit quam voluit: a formal study on legal compliance and interpretation

AICOL-I/IVR-XXIV'09 Proceedings of the 2009 international conference on AI approaches to the complexity of legal systems: complex systems, the semantic web, ontologies, argumentation, and dialogue

Requirements, intentions, goals and applicable norms

ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
Regulatory requirements traceability and analysis using semi-formal specifications

REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
Choosing compliance solutions through stakeholder preferences

REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
Law and adaptivity in requirements engineering

Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Regulatory compliance is increasingly viewed as an essential element of requirements engineering. Laws, but also regulations and policies, frame their provisions through complex structures made of conditions, derogations, exceptions, which together generate a high number of alternative compliance solutions. This paper addresses the problem of modeling, exploring and selecting among alternatives in a variability space defined by laws. Our proposal includes a conceptual modeling framework for laws and reasoning techniques, called Nòmos 2. The proposal is evaluated with a fragment of the Health Insurance Portability and Accountability Act (HIPAA).