Please use this identifier to cite or link to this item:
http://hdl.handle.net/10609/109789
Title: | Incremental Evaluation of OCL Constraints |
Author: | Cabot, Jordi Teniente López, Ernest |
Others: | Universitat Oberta de Catalunya (UOC) Universitat Politècnica de Catalunya (UPC) |
Citation: | 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 |
Abstract: | 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. |
Keywords: | OCL UML |
DOI: | 10.1007/11767138_7 |
Document type: | info:eu-repo/semantics/conferenceObject |
Version: | info:eu-repo/semantics/acceptedVersion |
Issue Date: | 2-Jan-2006 |
Appears in Collections: | Articles cientÍfics Articles |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Cabot_LNCS_Incremental.pdf | 176,87 kB | Adobe PDF | View/Open |
Share:
Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.