Please use this identifier to cite or link to this item:
Title: Incremental Evaluation of OCL Constraints
Author: Cabot Sagrera, Jordi  
Teniente López, Ernest
Others: Universitat Oberta de Catalunya (UOC)
Universitat Politècnica de Catalunya
Keywords: OCL
Issue Date: 2-Jan-2006
Publisher: Lecture Notes in Computer Science
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
Also see:
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.
Language: English
ISSN: 0302-9743MIAR
Appears in Collections:Articles

Files in This Item:
File SizeFormat 
Cabot_LNCS_Incremental.pdf176.87 kBAdobe PDFView/Open

Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.