Reference : Model-Based Simulation of Legal Policies: Framework, Tool Support, and Validation
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/27797
Model-Based Simulation of Legal Policies: Framework, Tool Support, and Validation
English
Soltana, Ghanem mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Sannier, Nicolas mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Sabetzadeh, Mehrdad mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Briand, Lionel mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
In press
Software & Systems Modeling
Springer Science & Business Media B.V.
Yes (verified by ORBilu)
International
1619-1366
1619-1374
[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
Fonds National de la Recherche - FnR ; CTIE
Researchers ; Professionals ; Students ; General public ; Others
http://hdl.handle.net/10993/27797
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

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
SoSyM16.pdfAuthor preprint4.83 MBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.