Title :
Nòmos 3: Reasoning about regulatory compliance of requirements
Author :
Ingolfo, Silvia ; Siena, Alberto ; Mylopoulos, John
Author_Institution :
UNITN, Trento, Italy
Abstract :
The great impact that law has in the RE-process has called for new techniques and procedures to evaluate the alignment of requirements with applicable laws. In this paper we present a modeling language for the evaluation of compliance of requirements with a piece of law: Nòmos 3. We introduce our language and show the reasoning capabilities of our proposal.
Keywords :
formal specification; reasoning about programs; specification languages; Nòmos 3; modeling language; reasoning about regulatory compliance of requirements; reasoning capability; Analytical models; Cognition; Educational institutions; Erbium; Law; Software systems;
Conference_Titel :
Requirements Engineering Conference (RE), 2014 IEEE 22nd International
Conference_Location :
Karlskrona
Print_ISBN :
978-1-4799-3031-9
DOI :
10.1109/RE.2014.6912273
