publication . Doctoral thesis . 2017

A Model-Based Framework for Legal Policy Simulation and Compliance Checking

Soltana, Ghanem;
Open Access English
  • Published: 16 Oct 2017
  • Publisher: University of Luxembourg, ​Luxembourg, ​​Luxembourg
  • Country: Mexico
Information systems implementing requirements from laws and regulations, such as taxes and social benefits, need to be thoroughly verified to demonstrate their compliance. Several Verification and Validation (V&V) techniques, such as reliability testing, and modeling and simulation, can be used for assessing that such systems meet their legal. Typically, one has to model the expected (legal) behavior of the system in a form that can be executed (simulated), subject the resulting models and the system to the same input data, and then compare the observed behavior of the model simulation and system execution. Existing V&V techniques often rely on code and complex ...
free text keywords: Law modeling, Model-based micro-simulation, Compliance checking, Test data generation, Model-driven-engineering, UML/OCL models, : Computer science [C05] [Engineering, computing & technology], : Sciences informatiques [C05] [Ingénierie, informatique & technologie]
Related Organizations
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue