DocumentCode :
2943515
Title :
Requirements and compliance in legal systems: a logic approach
Author :
Hassan, Waël ; Logrippo, Luigi
Author_Institution :
Univ. of Ottawa, Ottawa, ON
fYear :
2008
fDate :
9-9 Sept. 2008
Firstpage :
40
Lastpage :
44
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/RELAW.2008.8
Filename :
4797473
Link To Document :
بازگشت