Requirements and compliance in legal systems: A logic approach

2008 Requirements Engineering and Law, RELAW'08

Volumn , Issue , 2008, Pages

  Hassan, Waël ^a   Logrippo, Luigi ^a,b  

^a UNIVERSITY OF OTTAWA   (Canada)

^b UNIVERSITÉ DU QUÉBEC EN OUTAOUAIS   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ENTERPRISE REQUIREMENTS; FINANCIAL REPORTING; LEGAL COMPLIANCES; LEGAL SYSTEMS; LOGIC ANALYZERS; NORMATIVE SYSTEMS; PRIVACY LAWS;

REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING;

LAWS AND LEGISLATION;

EID: 64849103297     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RELAW.2008.8     Document Type: Conference Paper

References (17)

1. Alchourròn, C.E., Bulygin, E.: Normative Systems. Springer, 1971.
2. Antón, A. I., Bertino, E., Li, N., and Yu, T. : A roadmap for comprehensive online privacy policy management. Comm. ACM 50, 7 (Jul. 2007), 109-116.
3. Breaux, T. and Antón, A. : Analyzing Regulatory Rules for Privacy and Security Requirements. IEEE Trans. SE 34, 1 (Jan. 2008), 5-20.
4. Brodie, C. A., Karat, C., and Karat, J. : An empirical study of natural language parsing of privacy policy rules using the SPARCLE policy workbench. In SOUPS '06, ACM Internat. Conf. Proc. Series Vol. 149, 8-19.
5. Hassan, W., Logrippo, L.: Validating Compliance with Privacy Legislation. Submitted for publication.
6. Jackson D. : Software Abstractions: Logic, Language, and Analysis. MIT Press. March 2006.
7. Jones, A.J.I, Sergot, M.: Deontic logic in the implementation of law: Towards a methodology. AI and Law, 1(1), 1992, 45-64.
8. Kelsen, H.: General Theory of Law and State. Harvard University Press, 1945.
9. Kiyavitskaya, N., Zeni, N., Breaux, T. D., Antón, A. I., Cordy, J. R., Mich, L., and Mylopoulos, J. : Extracting rights and obligations from regulations: toward a toolsupported process. In Proc. ASE '07, 429-432.
10. Logrippo, L.: Normative Systems: the Meeting Point between Jurisprudence and Information Technology. SoMet 2007, Rome, 343-354.
11. Mankai M., Logrippo L. : Access control policies: Modeling and validation. In Proc. of the 5th NOTERE Conference, 2005, 85-91,
12. Sartor. G. Legal Reasoning: A Cognitive Approach to the Law. Berlin: Springer. 2005.
13. Subirana, B. and Bain, M. 2006. Legal programming. Comm. ACM 49, 9 (Sep. 2006), 57-62.
14. Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson: Finding Minimal Unsatisfiable Cores of Declarative Specifications. FM 2008: 326-341
15. Valente, A. : Legal Knowledge Engineering. IOS Press, 1999
16. Vàzquez-Salceda, J., Aldewereld, H., Grossi, D., Dignum, F. : From human regulations to regulated software agents' behavior - Connecting the abstract declarative norms with the concrete operational implementation. A position paper. Artif Intell Law (2008) 16:73-87.
17. Zave, P. and Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. 6, 1 (Jan. 1997), 1-30.