Reference : A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/21799
A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking
English
Soltana, Ghanem mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
2015
Doctoral Symposium co-located with 18th ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (DS@MODELS 2015)
CEUR Workshop Proceedings
Yes
No
International
Doctoral Symposium co-located with 18th ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (DS@MODELS 2015)
29-10-2015
Ottawa
Canada
[en] Legal Policies ; Model-Based Simulation and Compliance Verification ; Model-Driven Code and Data Generation
[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.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Fonds National de la Recherche - FnR
A Model-Based Framework for Specification and Automated Verification of Compliance to the Tax Law
Researchers ; Professionals ; Students ; General public ; Others
http://hdl.handle.net/10993/21799
http://ceur-ws.org/Vol-1531/paper1.pdf
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):

FileCommentaryVersionSizeAccess
Open access
DocSymp.pdfAuthor preprint1.3 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.