Legal Policies; Model-Based Simulation and Compliance Verification; Model-Driven Code and Data Generation
Résumé :
[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.
Centre de recherche :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Sciences informatiques
Auteur, co-auteur :
SOLTANA, Ghanem ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking
Date de publication/diffusion :
2015
Nom de la manifestation :
Doctoral Symposium co-located with 18th ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (DS@MODELS 2015)
Lieu de la manifestation :
Ottawa, Canada
Date de la manifestation :
29-10-2015
Manifestation à portée :
International
Titre de l'ouvrage principal :
Doctoral Symposium co-located with 18th ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (DS@MODELS 2015)
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
Intitulé du projet de recherche :
A Model-Based Framework for Specification and Automated Verification of Compliance to the Tax Law
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.
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.
