Reference : Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s T...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/17377
Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law
English
Soltana, Ghanem mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Fourneret, Elizabeta [> >]
Adedjouma, Morayo [> >]
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) > > ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
2014
17th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'14)
Springer International Publishing
8767
450-466
Yes
No
International
978-3-319-11652-5
17th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'14)
from 01-10-2014 to 03-10-2014
ACM/IEEE
Valencia
Spain
[en] Requirements Engineering ; Model-Based Development ; Regulatory Compliance
[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.
SnT - SVV
Fonds National de la Recherche - FnR
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/17377
10.1007/978-3-319-11653-2_28

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
Models14.pdfPublisher postprint509.6 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.