Computing the relevant instances that may violate an OCL constraint

All of RECERCAT

To access the full text documents, please follow this link: http://hdl.handle.net/2117/84115

dc.contributor	Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.contributor.author	Cabot Sagrera, Jordi
dc.contributor.author	Teniente López, Ernest
dc.date	2005-03
dc.identifier.citation	Cabot, J., Teniente, E. "Computing the relevant instances that may violate an OCL constraint". 2005.
dc.identifier.uri	http://hdl.handle.net/2117/84115
dc.language.iso	eng
dc.relation	LSI-05-5-R
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject	Conceptual schema
dc.subject	Integrity constraints
dc.title	Computing the relevant instances that may violate an OCL constraint
dc.type	info:eu-repo/semantics/publishedVersion
dc.type	info:eu-repo/semantics/report
dc.description.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.