Title :
Requirements and compliance in legal systems: a logic approach
Author :
Hassan, Waël ; Logrippo, Luigi
Author_Institution :
Univ. of Ottawa, Ottawa, ON
Abstract :
It is shown that the concepts of requirements and implementation exist in normative systems, in particular in law, and are similar to homologous concepts in software engineering. Concepts of compliance and conformance are also similar in the two areas. Further, it is shown how a logic analyzer such as Alloy can be used in order to verify legal compliance by checking consistency between legal and enterprise requirements. Examples are taken from privacy law and financial reporting law.
Keywords :
data privacy; law; logic analysers; natural languages; Alloy; enterprise requirements; financial reporting law; legal requirements; legal systems; logic analyzer; privacy law; software engineering; Access control; Data mining; Hardware; Law; Legal factors; Logic; Natural languages; Ontologies; Privacy; Protection;
Conference_Titel :
Requirements Engineering and Law, 2008. RELAW '08.
Conference_Location :
Barcelona, Catalunya
Print_ISBN :
978-1-4244-4085-6
Electronic_ISBN :
978-0-7695-3630-9
DOI :
10.1109/RELAW.2008.8