Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/84190
Título:
|
Incremental evaluation of OCL constraints
|
Autor/a:
|
Cabot Sagrera, Jordi; Teniente López, Ernest
|
Otros autores:
|
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. |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació -Integrity constraints -UML -OCL |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión publicada Informe |
Compartir:
|
|
Mostrar el registro completo del ítem