Please use this identifier to cite or link to this item:

http://hdl.handle.net/10609/109787
Title: Computing the Relevant Instances That May Violate an OCL Constraint
Author: Cabot Sagrera, Jordi  
Teniente López, Ernest
Others: Universitat Oberta de Catalunya (UOC)
Universitat Politècnica de Catalunya
Keywords: UML
Issue Date: 2-Jan-2005
Publisher: Lecture Notes in Computer Science
Citation: Cabot, J. & Teniente López, E. (2005). Computing the Relevant Instances That May Violate an OCL Constraint. Lecture Notes in Computer Science, 3520(), 207-248. doi: 10.1007/11431855_5
Also see: https://doi.org/10.1007/11431855_5
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.
Language: English
URI: http://hdl.handle.net/10609/109787
ISSN: 0302-9743MIAR
Appears in Collections:Articles
Articles

Share:
Export:
Files in This Item:
File SizeFormat 
Cabot_LNCS_ComputingRelevant.pdf229.36 kBAdobe PDFView/Open Request a copy

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