Paper Info
Title
Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg's Tax Law.
Abstract
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 procedural legal rules. With help from legal experts, we investigate actual legal texts, identifying both the information needs and sources of complexity 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.
Year
DOI
Venue
2014
10.1007/978-3-319-11653-2_28
Lecture Notes in Computer Science
Keywords
Field
DocType
requirements engineering,model based development
Income tax,Information needs,Unified Modeling Language,Systems engineering,Computer science,Requirements engineering,Activity diagram,Operationalization,Object Constraint Language,Tax law
Conference
Volume
ISSN
Citations 
8767
0302-9743
4
PageRank 
References 
Authors
0.43
14
5
Name
Order
Citations
PageRank
Ghanem Soltana1253.62
Elizabeta Fourneret240.43
Morayo Adedjouma3326.16
Mehrdad Sabetzadeh498861.84
Lionel C. Briand58795481.98