Tesis doctoral de Jordi Cabot Sagrera
Integrity constraints play a fundamental role in the definition of conceptual schemas (css) of information systems. An integrity constraint defines a condition that must be satisfied in each state of the information base (ib). Hence, the information system must guarantee that the state of the ib is always consistent with respect to the integrity constraints of the cs. This process is known as integrity checking. Unfortunately, current methods and tools do not provide adequate integrity checking mechanisms since most of them only admit some predefined types of constraints. Moreover, the few ones supporting a full expressivity in the constraint definition language present a lack of efficiency regarding the verification of the ib. in this thesis, we propose a new method to deal with the incremental evaluation of the integrity constraints defined in a cs. We consider css specified in the uml with constraints defined as ocl invariants. We say that our method is incremental since it adapts some of the ideas of the well-known methods developed for incremental integrity checking in deductive and relational databases. The main goal of these incremental methods is to consider as few entities of the ib as possible during the evaluation of an integrity constraint. this is achieved in general by reasoning from the structural events that modify the contents of the ib. Our method is fully automatic and ensures an incremental evaluation of the integrity constraints regardless their concrete syntactic definition. the main feature of our method is that it works at the conceptual level. That is, the result of our method is a standard cs. Thus, the method is not technology-dependent and, in contrast with previous approaches, our results can be used regardless the final technology platform selected to implement the cs. In fact, any code- generation method or tool able to generate code from a cs could be enhanced with our method to automatically generate incremental constraints, with only minor adaptations. Moreover, the efficiency of the generated constraints is comparable to the efficiency obtained by existing methods for relational and deductive databases.
Datos académicos de la tesis doctoral «Incremental integrity checking in uml/ocl conceptual schemas«
- Título de la tesis: Incremental integrity checking in uml/ocl conceptual schemas
- Autor: Jordi Cabot Sagrera
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 27/11/2006
Dirección y tribunal
- Director de la tesis
- Ernest Teniente López
- Tribunal
- Presidente del tribunal: antoni Olivé ramon
- piero Fraternali (vocal)
- óscar Pastor lópez (vocal)
- martin Gogolla (vocal)