Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/84115
Título:
|
Computing the relevant instances that may violate an OCL constraint
|
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 the application of a
set of structural events. One possible way to achieve efficiency is to
consider only the relevant instances that may violate an integrity
constraint instead of the whole population of the information base.
This is the approach we follow in this paper to automatically check
the integrity constraints defined in a UML conceptual schema. Since
the method we propose uses only the standard elements of the
conceptual schema to process the constraints, its efficiency
improvement can benefit any implementation of the schema regardless
the technology used. |
Materia(s):
|
-Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació -Conceptual schema -Integrity constraints |
Derechos:
|
|
Tipo de documento:
|
Artículo - Versión publicada Informe |
Compartir:
|
|
Mostrar el registro completo del ítem