[en] Many laws, e.g., those concerning taxes and social benefits, need to be operationalized and implemented into public administration procedures and eGovernment applications. Where such operationalization is warranted, the legal frameworks that interpret the underlying laws are typically prescriptive, providing procedural rules for ensuring legal compliance. We propose a UML-based approach for modeling pro- cedural legal rules. With help from legal experts, we investigate actual legal texts, identifying both the information needs and sources of com- plexity in the formalization of procedural legal rules. Building on this study, we develop a UML profile that enables more precise modeling of such legal rules. To be able to use logic-based tools for compliance analysis, we automatically transform models of procedural legal rules into the Object Constraint Language (OCL). We report on an application of our approach to Luxembourg’s Income Tax Law providing initial evidence for the feasibility and usefulness of our approach.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
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) ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
no
Language :
English
Title :
Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law
Publication date :
2014
Event name :
17th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'14)
Event organizer :
ACM/IEEE
Event place :
Valencia, Spain
Event date :
from 01-10-2014 to 03-10-2014
Audience :
International
Main work title :
17th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'14)
Publisher :
Springer International Publishing
ISBN/EAN :
978-3-319-11652-5
Collection name :
8767
Pages :
450-466
Peer reviewed :
Peer reviewed
Name of the research project :
A Model-Based Framework for Specification and Automated Verification of Compliance to the Tax Law
