A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking

Soltana, Ghanem

Reference : A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking


	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/21799

Title :	A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking
Language :	English
Author, co-author :	Soltana, Ghanem [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Publication date :	2015
Main document title :	Doctoral Symposium co-located with 18th ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (DS@MODELS 2015)
Publisher :	CEUR Workshop Proceedings
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	Doctoral Symposium co-located with 18th ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (DS@MODELS 2015)
Event date :	29-10-2015
Event place (city) :	Ottawa
Event country :	Canada
Keywords :	[en] Legal Policies ; Model-Based Simulation and Compliance Verification ; Model-Driven Code and Data Generation
Abstract :	[en] Analyzing legal policies for many laws, such as taxes and social benefits, is a common way for governments to identify risks, e.g., risk of legal policies not achieving expected revenue. A typical analysis includes validation of policies and the verification of the systems implementing them. One efficient way to validate policies is simulation, e.g., by simulating whether a proposed law reform would realize target objectives. Once validated, policies are implemented into public administration procedures and eGovernment applications. Systems implementing legal policies also need to be analyzed and verified, e.g., through testing, to ensure that they are compliant with the underlying policies. Currently, legal policy analysis is conducted using a combination of spreadsheets and software code. Such strategy suffers mainly from being hard to use by legal experts due to the lack of adequate background. This is partly rooted in the fact that available techniques to formalize legal policies are based on complex logical expressions and code. The main goal of this research project, that this paper describes, is to narrow the aforementioned expertise gap by proposing convenient, systematic and automated techniques to support analysis of legal polices from their design to their implementation.
Research centres :	Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Funders :	Fonds National de la Recherche - FnR
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/21799
Other URL :	http://ceur-ws.org/Vol-1531/paper1.pdf
FnR project :	FnR ; FNR9242479 > Ghanem Soltana > TaxComp > 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	DocSymp.pdf		Author preprint	1.3 MB	View/Open

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

University of Luxembourg Library | Feedback | Legal notices