A Model-Based Framework for Specification and Automated Verification of Compliance to the Tax Law


CALL: 2014

DOMAIN: IS - Information and Communication Technologies


LAST NAME: Soltana



HOST INSTITUTION: University of Luxembourg

KEYWORDS: Requirements Engineering, Model-Based Development, Regulatory Compliance, Software Verification, Search-Based Software Engineering

START: 2014-09-01

END: 2016-10-31

WEBSITE: https://www.uni.lu

Submitted Abstract

Legal compliance is a major concern for the Government of Luxembourg. Many laws, e.g., those concerning taxes, need to be operationalized and implemented into software systems. Verifying legal compliance for software systems requires a coherent approach for modeling and analysis of legal requirements. The aim of this proposed project is to develop such an approach for the tax domain. The project is being carried out in the context of a collaboration between SnT and CTIE (the governmental centre responsible for developing and maintaining Luxembourgish government’s IT applications). A key prerequisite for automated compliance analysis, e.g., testing and simulation, is to model legal requirements in a syntactically and semantically well-defined form, preferably relying on international modeling standards. To this end, the project will be tailoring an international system modeling standard (UML) to enable systematic modeling of legal requirements. This tailoring will consider several important factors, including maintaining traceability to the text of law to support evolution, providing enough precision in models of legal requirements to support the automation of verification and validation tasks, and using intuitive notations so that models of legal requirements can be directly reviewed and validated both by system analysts and by legal experts. Models resulting from the application of our modeling methodology are then automatically transformed to different executable languages for the purpose of simulation and testing, which in turn will allow computer-assisted automated decision-making.The project will place a lot of emphasis on case studies as a way to substantiate in a credible manner claims about the usefulness and usability of the developed approach. Case studies will further provide a rich basis for studying the context factors and working assumptions that are specific to CTIE, for example, CTIE’s existing modeling practices.

This site uses cookies. By continuing to use this site, you agree to the use of cookies for analytics purposes. Find out more in our Privacy Statement