Automatic Constraint Evolution due to Model Subtract Operations

[Download Paper] Authors: Jordi Cabot and Jordi Conesa

[Download Prototype] Author: Vera Kiessling

This prototype executes the automatic evolution of the constraints of a conceptual schema after the removal of some of its elements.
Instructions to execute the prototype