Legal Markup Generation in the Large: An Experience Report

in the 25th International Requirements Engineering Conference (RE'17), Lisbon, 4-8 September 2017 (2017, September)

Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law

in 17th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'14) (2014)

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 ... [more ▼]

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. [less ▲]

Multi-standards Compliance Using an Model-driven Engineering Approach Application to Automotive Domain

Book published by LAP Lamber Academic Publishing (2012)

Merging the Quality Assessment of Processes and Products in Automotive Domain

in Proceedings of the 13th International Conference on Product-Focused Software Process Improvement (PROFES 2012) (2012)

Modeling a BSG-E automotive system with the Timing augmented description language

in Proceedings of 5th International Symposium of Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies (2012)

Browse Conference Publications > Engineering of Complex Comput ... Requirements Exchange: From Specification Documents to Models

in Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2011 (2011)

A Model-Based Requirements Engineering Framework in an Automotive Certification Purpose

in Proceedings of the REFSQ 2011 Workshops REEW, EPICAL and RePriCo, the REFSQ 2011 Empirical Track (Empirical Live Experiment and Empirical Research Fair), and the REFSQ 2011 Doctoral Symposium (2009)