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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ali, S., Zohaib Iqbal, M., Arcuri, A., Briand, L.: Generating test data from OCL constraints with search techniques. IEEE Transactions on Software Engineering 39(10), 1376–1402 (2013)
Amàlio, N., Kelsen, P., Ma, Q., Glodt, C.: Using VCL as an Aspect-Oriented Approach to Requirements Modelling. Transactions on Aspect-Oriented Software Development 7, 151–199 (2010)
Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: Consistency checking and visualization of OCL constraints. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 294–308. Springer, Heidelberg (2000)
Breaux, T.: A method to acquire compliance monitors from regulations. In: Proc. of 3rd Intl. Wrkshp. on RE and Law (RELAW 2010), pp. 17–26 (2010)
Breaux, T.: Exercising due diligence in legal requirements acquisition: A tool-supported, frame-based approach. In: Proc. of 17th IEEE Intl. Requirements Engineering Conf. (RE 2009), pp. 225–230 (2009)
Cabot, J., Clarisó, R., Guerra, E., Lara, J.: A UML/OCL framework for the analysis of graph transformation rules. Software and Systems Modeling 9(3), 335–357 (2010)
Cabot, J., Clariso, R., Riera, D.: Verification of UML/OCL class diagrams using constraint programming. In: Proc. of 2008 IEEE Conf. on Software Testing Verification and Validation Wrkshp. (ICST 2008), pp. 73–80 (2008)
Corbin, J., Strauss, A.: Basics of Qualitative Research: Techniques and Procedures for Developing Grounded Theory, 3rd edn. SAGE Publications (2008)
Dey, I.: Qualitative data analysis - A user-friendly guide for social scientists. Routledge (1993)
Eclipse Foundation: Acceleo - transforming models into code, http://www.eclipse.org/acceleo/ (last accessed: March 2014)
Eclipse Foundation: Ecore tools, http://www.eclipse.org/ecoretools/ (last accessed: March 2014)
Ghanavati, S., Amyot, D., Peyton, L.: Towards a framework for tracking legal compliance in healthcare. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007. LNCS, vol. 4495, pp. 218–232. Springer, Heidelberg (2007)
Goedertier, S., Vanthienen, J.: Designing compliant business processes with obligations and permissions. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 5–14. Springer, Heidelberg (2006)
Gov. of Luxembourg: Modified income tax law of December 4, 1967 (2013)
Hassan, W., Logrippo, L.: Requirements and compliance in legal systems: A logic approach. In: Proc. of 1st Intl. Wrkshp. on RE and Law (RELAW 2008), pp. 40–44 (2008)
Jackson, D.: Software Abstractions Logic, Language, and Analysis. The MIT Press (2006)
Korherr, B., List, B.: Extending the UML 2 activity diagram with business process goals and performance measures and the mapping to BPEL. In: Proc. of 2nd Intl. Wrkshp. on Best Practices of UML (ER BP-UML 2006), pp. 7–18 (2006)
Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development, 3rd edn. Prentice Hall (2004)
Maxwell, J., Anton, A.: Checking existing requirements for compliance with law using a production rule model. In: Proc. of 2nd Intl. Wrkshp. on RE and Law (RELAW 2009), pp. 1–6 (2009)
Milanovic, M., Gasevic, D., Giurca, A., Gerd, W., Devedzic, V.: Towards sharing rules between OWL/SWRL and UML/OCL. Electronic Communications of European Association of Software Science and Technology 5, 2–19 (2007)
Miles, M., Huberman, A.: Qualitative data analysis: An expanded sourcebook. SAGE (1994)
Object Management Group: UML 2.2 superstructure specification (2009)
Reynoso, L., Genero, M., Piattini, M.: Towards a metric suite for OCL expressions expressed within UML/OCL models. Journal of Computer Science and Technology 4(1), 38–44 (2004)
Ruiter, D.: Institutional Legal Facts: Legal Powers and their Effects. Kluwer Academic Publishers (1993)
Smith, G.: The Object-Z specification language. Kluwer (2000)
Soltana, G., Fourneret, E., Adedjouma, M., Sabetzadeh, M., Briand, L.: Using UML for modeling legal rules. Tech. Rep. TR-SnT-2014-3, Interdisciplinary Centre for Security, Reliability and Trust (SnT) (March 2014), http://people.svv.lu/soltana/Models14.pdf
Stein, D., Hanenberg, S., Unland, R.: A graphical notation to specify model queries for MDA transformations on UML models. In: Aßmann, U., Akşit, M., Rensink, A. (eds.) MDAFA 2003/2004. LNCS, vol. 3599, pp. 77–92. Springer, Heidelberg (2005)
van Engers, T., Gerrits, R., Boekenoogen, M., Glassée, E., Kordelaar, P.: POWER: using UML/OCL for modeling legislation - an application report. In: Proc. of 8th Intl. Conf. on Artificial Intelligence and Law (ICAIL 2008), pp. 157–167 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Soltana, G., Fourneret, E., Adedjouma, M., Sabetzadeh, M., Briand, L. (2014). Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds) Model-Driven Engineering Languages and Systems. MODELS 2014. Lecture Notes in Computer Science, vol 8767. Springer, Cham. https://doi.org/10.1007/978-3-319-11653-2_28
Download citation
DOI: https://doi.org/10.1007/978-3-319-11653-2_28
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11652-5
Online ISBN: 978-3-319-11653-2
eBook Packages: Computer ScienceComputer Science (R0)