SafEx: a tool for integrity enforcement in UML conceptual schemas
View/Open
Cita com:
hdl:2099.1/23079
Document typeMaster thesis
Date2014-08-05
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial
property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public
communication or transformation of this work are prohibited without permission of the copyright holder
Abstract
This document explains and shows the results of the elaboration of the master final project, devoted to the problem of the integrity constraint violations in OCL design of data. More specifically, the project addresses the integrity constraint problems in a given OCL contract and proposes an iterative solution for the violations which will be explained in detailed way.
DegreeMÀSTER UNIVERSITARI EN TECNOLOGIES DE LA INFORMACIÓ (Pla 2009)
Collections