Reference : Model-Based Simulation of Legal Requirements: Experience from Tax Policy Simulation
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/27798
Model-Based Simulation of Legal Requirements: Experience from Tax Policy Simulation
English
Soltana, Ghanem 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) > >]
2016
24th IEEE International Requirements Engineering Conference, Beijing 12-16 September 2016
Yes
No
International
24th IEEE International Requirements Engineering Conference
from 12-09-2016 to 16-09-2016
Beijing
China
[en] Legal Requirements ; Modeling ; Simulation
[en] Using models for expressing legal requirements is now commonplace in Requirements Engineering. Models of legal requirements, on the one hand, facilitate communication between software engineers and legal experts, and on the other hand, provide a basis for systematic and automated analysis. The most prevalent application of legal requirements models is for checking the compliance of software systems with laws and regulations. In this experience paper, we explore a complementary application of legal requirements models, namely simulation. We observe that, in domains such as taxation, the same models that underlie legal compliance analysis bring important added value by enabling simulation. Concretely, this paper reports on the model-based simulation of selected legal requirements (policies) derived from Luxembourg’s Income Tax Law. The simulation scenario considered in the paper is aimed at analyzing the impact of a current tax law reform proposal in Luxembourg. We describe our approach for simulation along with empirical results demonstrating the feasibility and accuracy of the approach. We further present lessons learned from the experience.
SnT – SVV
Fonds National de la Recherche - FnR ; CTIE
Researchers ; Professionals ; Students ; General public ; Others
http://hdl.handle.net/10993/27798
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
REX16.pdfAuthor preprint1.71 MBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.