Reference : Model-Based Simulation of Legal Requirements: Experience from Tax Policy Simulation

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/27798

Title :	Model-Based Simulation of Legal Requirements: Experience from Tax Policy Simulation
Language :	English
Author, co-author :	Soltana, Ghanem [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) > >]
Publication date :	2016
Main document title :	24th IEEE International Conference on Requirements Engineering (RE'16)
Publisher :	IEEE
Pages :	303-312
Peer reviewed :	Yes
On invitation :	No
Audience :	International
ISBN :	978-1-5090-4121-3
Event name :	24th IEEE International Conference on Requirements Engineering (RE'16)
Event date :	from 12-09-2016 to 16-09-2016
Event place (city) :	Beijing
Event country :	China
Keywords :	[en] Legal Requirements ; Modeling ; Simulation
Abstract :	[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.
Research centres :	Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Funders :	Fonds National de la Recherche - FnR ; CTIE
Name of the research project :	A Model-Based Framework for Specification and Automated Verification of Compliance to the Tax Law
Target :	Researchers ; Professionals ; Students ; General public ; Others
Permalink :	http://hdl.handle.net/10993/27798
FnR project :	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): File Commentary Version Size Access Open access RE16.pdf Author preprint 1.87 MB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map