Legal Policies; Simulation; Model-Driven Code and Data Generation
Abstract :
[en] Simulation of legal policies 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. Legal policy simulation is currently implemented using a combination of spreadsheets and software code. Such a direct implementation poses a validation challenge. In particular, legal experts often lack the necessary software background to review complex spreadsheets and code. Consequently, these experts currently have no reliable means to check the correctness of simulations against the requirements envisaged by the law. A further challenge is that representative data for simulation may be unavailable, thus necessitating a data generator. A hard-coded generator is difficult to build and validate.
We develop a framework for legal policy simulation that is aimed at addressing the challenges above. 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.
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)
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)
External co-authors :
no
Language :
English
Title :
Model-Based Simulation of Legal Policies: Framework, Tool Support, and Validation
Publication date :
2018
Journal title :
Software and Systems Modeling
ISSN :
1619-1374
Publisher :
Springer Science & Business Media B.V.
Volume :
17
Issue :
3
Pages :
851-883
Peer reviewed :
Peer Reviewed verified by ORBi
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