[en] Legal Policies ; Simulation ; Model-Driven Code and Data Generation
[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.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Fonds National de la Recherche - FnR ; CTIE
A Model-Based Framework for Specification and Automated Verification of Compliance to the Tax Law
Researchers ; Professionals ; Students ; General public ; Others
FnR ; FNR9242479 > Ghanem Soltana > > A Model-Based Framework for Specification and Automated Verification of Compliance to the Tax Law > 01/09/2014 > 31/10/2016 > 2014
[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
