TY - GEN
T1 - A model-based framework for probabilistic simulation of legal policies
AU - Soltana, Ghanem
AU - Sannier, Nicolas
AU - Sabetzadeh, Mehrdad
AU - Briand, Lionel C.
N1 - Publisher Copyright:
© 2015 IEEE.
PY - 2015/11/25
Y1 - 2015/11/25
N2 - 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.
AB - 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.
KW - Legal Policies
KW - Model-Driven Code Generation
KW - Probabilistic Data Generation
KW - Simulation
KW - UML Profiles
UR - http://www.scopus.com/inward/record.url?scp=84961574871&partnerID=8YFLogxK
U2 - 10.1109/MODELS.2015.7338237
DO - 10.1109/MODELS.2015.7338237
M3 - Conference contribution
AN - SCOPUS:84961574871
T3 - 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings
SP - 70
EP - 79
BT - 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2015
Y2 - 30 September 2015 through 2 October 2015
ER -