Legal Policy Simulation; Model- Driven Code Generation; Probabilistic Data Generation
Résumé :
[en] Legal policy simulation is an important decision-support tool in domains such as taxation. The primary goal of legal policy simulation is predicting how changes in the law affect measures of interest, e.g., revenue. Currently, legal policies are simulated via a combination of spreadsheets and software code. This poses a validation challenge both due to complexity reasons and due to legal experts lacking the expertise to understand software code. A further challenge is that representative data for simulation may be unavailable, thus necessitating a data generator.
We develop a framework for legal policy simulation that is aimed at addressing these challenges. The framework uses models for specifying both legal policies and the probabilistic characteristics of the underlying population. We devise an automated algorithm for simulation data generation. We evaluate our framework through a case study on Luxembourg's Tax Law.
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)
SANNIER, Nicolas ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
SABETZADEH, Mehrdad ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
BRIAND, Lionel ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Co-auteurs externes :
no
Langue du document :
Anglais
Titre :
A Model-Based Framework for Probabilistic Simulation of Legal Policies
Date de publication/diffusion :
2015
Nom de la manifestation :
18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'15)
Lieu de la manifestation :
Ottawa, Canada
Date de la manifestation :
from 27-09-2015 to 02-10-2015
Manifestation à portée :
International
Titre de l'ouvrage principal :
18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'15)
Maison d'édition :
IEEE
ISBN/EAN :
978-1-4673-6908-4
Pagination :
70-79
Peer reviewed :
Peer reviewed
Projet FnR :
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
F. Figari, A. Paulus, and H. Sutherland, "Microsimulation and policy analysis," in Handbook of Income Distribution. Elsevier, 2015, vol. 2
S. Hohls, "How to support (political) decisions?" in Electronic Government. Springer, 2013
F. Hermans, M. Pinzger, and A. van Deursen, "Detecting and visualizing inter-worksheet smells in spreadsheets," in ICSE'12, 2012
D. Ruiter, Institutional Legal Facts: Legal Powers and Their Effects. Kluwer Academic Publishers, 1993
G. Soltana, E. Fourneret, M. Adedjouma, M. Sabetzadeh, and L. Briand, "Using UML for modeling procedural legal rules: Approach and a study of Luxembourg's Tax Law," in MODELS'14, 2014
G. Soltana et al., "Using UML for modeling legal rules: Supplementary material," University of Luxembourg, Tech. Rep., 2014, http://people.svv.lu/soltana/Models14.pdf
T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to Algorithms, 3rd ed. The MIT Press, 2009
D. Jackson, Software Abstractions-Logic, Language, and Analysis. MIT Press, 2006
J. Cabot, R. Clariso, and D. Riera, "On the verification of UML/OCL class diagrams using constraint programming," JSS, vol. 93, 2014
S.-H. Cha, "Comprehensive survey on distance/similarity measures between probability density functions," Mathematical Models and Methods in Applied Sciences, vol. 1, 2007
G. W. Corder and D. Foreman, Nonparametric Statistics: A Step-by-Step Approach. John Wiley & Sons, 2014
M. Iqbal, A. Arcuri, and L. Briand, "Environment modeling and simulation for automated testing of soft real-time embedded software," SoSyM, vol. 14, 2015
R. Behjati, S. Nejati, and L. Briand, "Architecture-level configuration of large-scale embedded software systems," ACM TOSEM, vol. 23 , 2014
M. Gogolla, J. Bohling, and M. Richters, "Validating UML and OCL models in USE by automatic snapshot generation," SoSyM, vol. 4, 2005
T. Hartmann et al., "Generating realistic smart grid communication topologies based on real-data," in SmartGridComm'14, 2014
S. Ali, M. Iqbal, A. Arcuri, and L. Briand, "Generating test data from OCL constraints with search techniques," IEEE TSE, vol. 39, 2013
Di Nardo. D. ,Pastore. F. ,Briand. L."Generating complex and faulty test data through model-based mutation analysis" IN 2015 IEEE 8th International Conference on Software Testing, Verification and Validation, ICST 2015 - Proceedings; Article number 7102589
E. Bousse, B. Combemale, and B. Baudry, "Scalable armies of model clones through data sharing," in MODELS'14, 2014
