Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/109789
Títol: | Incremental Evaluation of OCL Constraints |
Autoria: | Cabot, Jordi Teniente López, Ernest |
Altres: | Universitat Oberta de Catalunya (UOC) Universitat Politècnica de Catalunya (UPC) |
Citació: | 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 |
Resum: | 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. |
Paraules clau: | OCL UML |
DOI: | 10.1007/11767138_7 |
Tipus de document: | info:eu-repo/semantics/conferenceObject |
Versió del document: | info:eu-repo/semantics/acceptedVersion |
Data de publicació: | 2-gen-2006 |
Apareix a les col·leccions: | Articles cientÍfics Articles |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
Cabot_LNCS_Incremental.pdf | 176,87 kB | Adobe PDF | Veure/Obrir |
Comparteix:
Els ítems del Repositori es troben protegits per copyright, amb tots els drets reservats, sempre i quan no s’indiqui el contrari.