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