A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking

SOLTANA, Ghanem

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

SOLTANA, Ghanem

2015 • In Doctoral Symposium co-located with 18th ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (DS@MODELS 2015)

Peer reviewed

Permalink
https://hdl.handle.net/10993/21799

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

DocSymp.pdf

Author preprint (1.33 MB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

Legal Policies; Model-Based Simulation and Compliance Verification; Model-Driven Code and Data Generation

Abstract :

[en] Analyzing legal policies for many laws, such as taxes and social benefits, is a common way for governments to identify risks, e.g., risk of legal policies not achieving expected revenue. A typical analysis includes validation of policies and the verification of the systems implementing them. One efficient way to validate policies is simulation, e.g., by simulating whether a proposed law reform would realize target objectives. Once validated, policies are implemented into public administration procedures and eGovernment applications. Systems implementing legal policies also need to be analyzed and verified, e.g., through testing, to ensure that they are compliant with the underlying policies. Currently, legal policy analysis is conducted using a combination of spreadsheets and software code. Such strategy suffers mainly from being hard to use by legal experts due to the lack of adequate background. This is partly rooted in the fact that available techniques to formalize legal policies are based on complex logical expressions and code. The main goal of this research project, that this paper describes, is to narrow the aforementioned expertise gap by proposing convenient, systematic and automated techniques to support analysis of legal polices from their design to their implementation.

Research center :

Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)

Disciplines :

Computer science

Author, co-author :

SOLTANA, Ghanem ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

External co-authors :

Language :

English

Title :

A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking

Publication date :

2015

Event name :

Doctoral Symposium co-located with 18th ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (DS@MODELS 2015)

Event place :

Ottawa, Canada

Event date :

29-10-2015

Audience :

International

Main work title :

Doctoral Symposium co-located with 18th ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (DS@MODELS 2015)

Publisher :

CEUR Workshop Proceedings

Peer reviewed :

Peer reviewed

Additional URL :

http://ceur-ws.org/Vol-1531/paper1.pdf

FnR Project :

FNR9242479 - A Model-based Framework For Specification And Automated Verification Of Compliance To The Tax Law, 2014 (01/09/2014-31/10/2016) - Ghanem Soltana

Name of the research project :

A Model-Based Framework for Specification and Automated Verification of Compliance to the Tax Law

Funders :

FNR - Fonds National de la Recherche

Available on ORBilu :

since 23 August 2015

Statistics

Number of views

205 (36 by Unilu)

Number of downloads

142 (14 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

Bibliography

L. Canova, L. Piccoli, and A. Spadaro, "SYSIFF 2006: A micro simulation model for the french tax system, " Micro Simula - Paris School of Economics, Technical report, 2009.
F. Figari, A. Paulus, and H. Sutherland, "Micro simulation and policy analysis, " in Handbook of Income Distribution. Elsevier, 2015, vol. 2, pp. 2141-2221.
S. Hohls, "How to support (political) decisions?" in Electronic Government. Springer, 2013, pp. 111-122.
W. Hassan and L. Logrippo, "Requirements and compliance in legal systems: A logic approach, " in Proceedings of 1st International Workshop on RE and Law (RELAW'08), 2008, pp. 40-44.
K. Petersen, "The regulation of assisted reproductive technology: A comparative study of permissive and prescriptive laws and policies, " Journal of law and medicine, vol. 9, no. 4, pp. 483-497, 2002.
T. Bench-Capon et al., "A history of AI and Law in 50 papers: 25 years of the International Conference on AI and Law, " Artificial Intelligence and Law, vol. 20, no. 3, pp. 215-319, 2012.
T. van Engers, R. Gerrits, M. Boekenoogen, E. Glassée, and P. Kordelaar, "POWER: using UML/OCL for modeling legislation - An application report, " in Proceedings of 8th International Conference on Artificial Intelligence and Law (ICAIL'08), 2001, pp. 157-167.
S. Ali, L. C. Briand, H. Hemmati, and R. K. Panesar-Walawege, "A systematic review of the application and empirical investigation of search-based test case generation, " IEEE Transactions on Software Engineering, vol. 36, no. 6, pp. 742-762, 2010.
T. Gorschek, C. Wohlin, P. Carre, and S. Larsson, "A model for technology transfer in practice, " IEEE Software, vol. 23, no. 6, pp. 88-95, 2006.
L. C. Briand, D. Falessi, S. Nejati, M. Sabetzadeh, and T. Yue, "Research-based innovation: A tale of three projects in model-driven engineering, " in Proceedings of the 15th International Conference on Model-Driven Engineering Languages and Systems (MODELS'12), 2012, pp. 793-809.
J. Stelmach and B. Broz˚ek, Methods of legal reasoning. Springer, 2006.
E. Melz and A. Valente, "Modeling the tax code, " in Proceedings of 2nd International Workshop on Regulatory Ontologies (WORM'04), 2004, pp. 652-661.
E. Rissland and D. Skalak, "CABARET: Rule interpretation in a hybrid architecture, " International Journal of Man-Machine Studies, vol. 34, no. 6, pp. 839-887, 1991.
L. Bibel, "AI and the conquest of complexity in law, " Artificial Intelligence and Law, vol. 12, no. 3, pp. 159-180, 2004.
T. Breaux, "Exercising due diligence in legal requirements acquisition: A tool-supported, frame-based approach, " in Proceedings of 17th IEEE International Requirements Engineering Conference (RE'09), 2009, pp. 225-230.
G. Soltana, E. Fourneret, M. Adedjouma, M. Sabetzadeh, and L. C. Briand, "Using UML for modeling procedural legal rules: Approach and a study of Luxembourg's tax law, " in Proceedings of the 17th International Conference on Model-Driven Engineering Languages and Systems (MODELS'14), 2014, pp. 450-466.
S. Ghanavati, D. Amyot, and L. Peyton, "Towards a framework for tracking legal compliance in healthcare, " in Proceedings of 19th International Conference on Advanced Information Systems Engineering (CAISE 2007), 2007, pp. 218-232.
S. Goedertier and J. Vanthienen, "Designing compliant business processes with obligations and permissions, " in Proceedings of 7th Workshop on Business Process Management (BPM'06), 2006, pp. 5-14.
T. Breaux and A. Anton, "Analyzing regulatory rules for privacy and security requirements, " IEEE Transactions on Software Engineering, vol. 34, no. 1, pp. 5-20, 2008.
S. Islam, H. Mouratidis, and J. Jürjens, "A framework to support alignment of secure software engineering with legal regulations, " Software and System Modeling, vol. 10, no. 3, pp. 369-394, 2011.
S. Ingolfo, A. Siena, J. Mylopoulos, A. Susi, and A. Perini, "Arguing regulatory compliance of software requirements, " Data & Knowledge Engineering, vol. 87, pp. 279-296, 2013.
R. France and B. Rumpe, "Model-driven development of complex software: A research roadmap, " in Future of Software Engineering (FOSE'07), 2007, pp. 37-54.
Object Management Group, "UML 2.2 superstructure specification, " 2009.
G. Soltana, E. Fourneret, M. Adedjouma, M. Sabetzadeh, and L. Briand, "Using UML for modeling legal rules: Approach and a study of luxembourg's tax law, " Interdisciplinary Centre for Security, Reliability and Trust (SNT), Technical report no. TR-SnT-2014-3, 2014, http://people.svv.lu/soltana/Models14.pdf.
G. Soltana, N. Sannier, M. Sabetzadeh, and L. C. Briand, "A modelbased framework for probabilistic simulation of legal policies, " in Proceedings of the 18th International Conference on Model-Driven Engineering Languages and Systems (MODELS'15), 2015, (to appear).
L. Reynoso, M. Genero, and M. Piattini, "Towards a metric suite for OCL expressions expressed within UML/OCL models, " Journal of Computer Science and Technology, vol. 4, no. 1, pp. 38-44, 2004.
S. Ali, M. Zohaib Iqbal, A. Arcuri, and L. Briand, "Generating test data from OCL constraints with search techniques, " IEEE Transactions on Software Engineering, vol. 39, no. 10, pp. 1376-1402, 2013.