Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/84190
Títol:
|
Incremental evaluation of OCL constraints
|
Autor/a:
|
Cabot Sagrera, Jordi; Teniente López, Ernest
|
Altres autors:
|
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
Abstract:
|
Integrity checking is aimed at efficiently determining whether the
state of the information base is consistent after each operation
execution. Incremental integrity checking exploits available
information about the structural events that define the operation
effect to compute integrity constraint violations considering as few
entities of the information base as possible. In this paper we propose
a new method to cope with incremental integrity checking at the
conceptual level, in particular in UML conceptual schemas with OCL
integrity constraints. Our method ensures an incremental verification
of constraints regardless the concrete syntactic definition chosen by
the designer. |
Matèries:
|
-Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació -Integrity constraints -UML -OCL |
Drets:
|
|
Tipus de document:
|
Article - Versió publicada Informe |
Compartir:
|
|
Mostra el registre complet del document