Mostra el registre d'ítem simple

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-10T10:22:46Z
dc.date.available2016-03-10T10:22:46Z
dc.date.issued2005-03
dc.identifier.citationCabot, J., Teniente, E. "Computing the relevant instances that may violate an OCL constraint". 2005.
dc.identifier.urihttp://hdl.handle.net/2117/84115
dc.description.abstractIntegrity 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.
dc.format.extent17 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-05-5-R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject.otherConceptual schema
dc.subject.otherIntegrity constraints
dc.titleComputing the relevant instances that may violate an OCL constraint
dc.typeExternal research report
dc.rights.accessOpen Access
local.identifier.drac583244
dc.description.versionPostprint (published version)
local.citation.authorCabot, J.; Teniente, E.


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple