Checking existing requirements for compliance with law using a production rule model

2009 2nd International Workshop on Requirements Engineering and Law, RELAW 2009

Volumn , Issue , 2009, Pages 1-6

  Maxwell, Jeremy C ^a   Antón, Annie I ^a  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONAL REQUIREMENT; HEALTH INSURANCE PORTABILITY AND ACCOUNTABILITY ACTS; LEGAL COMPLIANCE; MEDICAL RECORD; PRODUCTION RULES; REQUIREMENTS ENGINEERS; SOFTWARE REQUIREMENTS; SYSTEM REQUIREMENTS;

COMPUTER SOFTWARE; ENGINEERS; HEALTH INSURANCE; MODEL CHECKING;

REQUIREMENTS ENGINEERING;

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

References (18)

1. T.J.M. Bench-Capon, G.O. Robinson, T.W. Routen, M.J. Sergot, "Logic Programming for Large Scale Applications in Law: A Formalisation of Supplementary Benefit Legislation", 1st ACM Intl. Canf. on A.I. and Law, 1987, pp. 190-198.
2. C. Biagioli, P. Mariani, D. Tiscornia, "Esplex: A Rule and Conceptual Model for Representing Statutes", 1st ACM Intl. Canf. on A.I. and Law, 1987, pp. 240-251.
3. A. Borgida, S. Greenspan, J. Mylopoulos, "Knowledge Representation as the Basis for Requirements Specifications",IEEE Computer, 18(4), 1985, pp. 82-91.
4. T.D. Breaux, and AI. Antón, "Analyzing Regulatory Rules for Privacy and Security Requirements", IEEE Trans. on Software Engineering, 34(1), 2008, pp. 5-20.
5. T.D. Breaux, A.I. Antón, K. Boucher, M. Dorfman, "Legal Requirements, Compliance and Practice: An Industry Case Study in Accessibility", 16th IEEE Intl. Req. Eng. Can!, 2008, pp. 43-52.
6. E. Dubois, J. Hagelstein, E. Lahou, F. Ponsaert, A. Rifaut, "A Knowledge Representation Language for Requirements Engineering", Trans. of the IEEE, 74(10), 1986, pp. 1431-1444.
7. G. Greenleaf, A. Mowbray, A.A. Tyree, "Expert Systems in Law: The Datalex Project", 1st ACM Intl. Canf. on A.I. and Law, 1987, pp. 9-17.
8. A.K. Jha et al, "Use of Electronic Health Records in U.S. Hospitals", The New England Journal of Medicine, 360(16), Apr. 16,2009.
9. A.K. Massey, P.N. Otto, L.J. Hayward, A.I. Antón, "Evaluating Existing Security and Privacy Requirements for Legal Compliance", In Press: Req. Eng. Journal, Springer-Verlag, 2008.
10. J.C. Maxwell, A.I. Antón, "Developing Production Rule Models to Aid in Acquiring Requirements from Legal Texts", To appear: 17th IEEE Intl. Req. Eng. Canf., 2009.
11. P.N. Otto, A.I. Antón, "Addressing Legal Requirements in Requirements Engineering", 15th IEEE Intl. Req. Eng. Canf., 2007, pp. 5-14.
12. G. Schreiber, H. Akkermans, A. Anjewierden, R. de Hoog, N. Shadbolt, W. Van de Velde, B. Wielinga, Knowledge Engineering and Management: The Common KADS Methodology, MIT Press, 2000.
13. M.J. Sergot, A.S. Kamble, K.K. Bajaj, "Indian Central Civil Service Pension Rules: A Case Study in Logic Programming Applied to Regulations", 3rd ACM Intl. Canf. on A.I. and Law, 1991, pp. 118-127.
14. M.J. Sergot, F. Sadri, A. Kowalski, F. Kriwaczek, P. Hammond, H.T. Cory, "The British Nationality Act as a Logic Program", Comm. of the ACM, 29(5), 1986, pp. 370-386.
15. D.M. Sherman, "A Prolog Model of the Income Tax Act of Canada", 1st ACM Intl. Canf. on A.I. and Law, 1987, pp. 127-136.
16. E. Singer, "A Big Stimulus Boost for Electronic Health Records", Technology Review, Feb. 20,2009.
17. L. Sterling, E. Shapiro, The Art of Prolog: Advanced Programming Techniques, MIT Press, 1994, 2nd ed.
18. R.K. Yin, Case Study Research: Design and Methods, Vol. 5, Sage Publications, 2003, 3rd ed.