Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10609/109789
Título : | Incremental Evaluation of OCL Constraints |
Autoría: | Cabot, Jordi Teniente López, Ernest |
Otros: | Universitat Oberta de Catalunya (UOC) Universitat Politècnica de Catalunya (UPC) |
Citación : | Cabot, J. & Teniente López, E. (2006). Incremental Evaluation of OCL Constraints. Lecture Notes in Computer Science, 4001(), 81-95. doi: 10.1007/11767138_7 |
Resumen : | Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental methods have been developed. The main goal of these methods is to consider as few of the entities in an information base as possible, which is generally achieved by reasoning from the structural events that define the effect of the operations. In this paper, we propose a new method for dealing with the incremental evaluation of the OCL integrity constraints specified in UML conceptual schemas. Since our method works at a conceptual level, its results are useful in efficiently evaluating constraints regardless of the technology platform in which the conceptual schema is to be implemented. |
Palabras clave : | OCL UML |
DOI: | 10.1007/11767138_7 |
Tipo de documento: | info:eu-repo/semantics/conferenceObject |
Versión del documento: | info:eu-repo/semantics/acceptedVersion |
Fecha de publicación : | 2-ene-2006 |
Aparece en las colecciones: | Articles cientÍfics Articles |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
Cabot_LNCS_Incremental.pdf | 176,87 kB | Adobe PDF | Visualizar/Abrir |
Comparte:
Los ítems del Repositorio están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.