Show simple item record

dc.contributor.authorCabot Sagrera, Jordi
dc.contributor.authorTeniente López, Ernest
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.date.accessioned2016-03-11T08:44:12Z
dc.date.available2016-03-11T08:44:12Z
dc.date.issued2005-04
dc.identifier.citationCabot, J., Teniente, E. "Incremental evaluation of OCL constraints". 2005.
dc.identifier.urihttp://hdl.handle.net/2117/84190
dc.description.abstractIntegrity checking is aimed at efficiently determining whether the state of the information base is consistent after each operation execution. Incremental integrity checking exploits available information about the structural events that define the operation effect to compute integrity constraint violations considering as few entities of the information base as possible. In this paper we propose a new method to cope with incremental integrity checking at the conceptual level, in particular in UML conceptual schemas with OCL integrity constraints. Our method ensures an incremental verification of constraints regardless the concrete syntactic definition chosen by the designer.
dc.format.extent20 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-05-12-R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject.otherIntegrity constraints
dc.subject.otherUML
dc.subject.otherOCL
dc.titleIncremental evaluation of OCL constraints
dc.typeExternal research report
dc.rights.accessOpen Access
drac.iddocument583269
dc.description.versionPostprint (published version)
upcommons.citation.authorCabot, J., Teniente, E.
upcommons.citation.publishedtrue


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder