We propose a new approach to check whether a given UML class diagram with its OCL
integrity constraints satisfies a set of desirable properties such as schema satisfiability, class …

We present SVTe, a tool to validate relational database schemas that allows performing
several tests to determine the correctness of a schema. When a test is satisfied, our tool …

CONTEXT: It is critical to ensure the quality of a software system in the initial stages of
development, and several approaches have been proposed to ensure that a conceptual …

We propose a new method for database schema validation that provides an explanation
when it determines that a certain desirable property of a database schema does not hold …

Checking the design specification for contradictions at the early phase of the software
development process is crucial to ensure that the design is implementable. However, the …

The dynamics of belief and knowledge is one of the major components of any autonomous
system that should be able to incorporate new pieces of information. We show that …

Unified Modeling Language class diagrams are widely used for modeling, playing a key role
in the analysis and design of information systems, especially in development contexts that …

The dynamics of belief and knowledge is one of the major components of any autonomous
system that should be able to incorporate new pieces of information. In order to apply the …

In this thesis, we present a new approach to the validation of mappings between data
schemas. It allows the designer to check whether the mapping satisfies certain desirable …

A query is satisfiable if there is at least one consistent instance of the database in which it
has a non-empty answer. Defining queries on a database schema and checking their …