Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/109787
Registre complet de metadades
Camp DC | Valor | Llengua/Idioma |
---|---|---|
dc.contributor.author | Cabot, Jordi | - |
dc.contributor.author | Teniente López, Ernest | - |
dc.contributor.other | Universitat Oberta de Catalunya (UOC) | - |
dc.contributor.other | Universitat Politècnica de Catalunya (UPC) | - |
dc.date.accessioned | 2020-02-18T08:23:38Z | - |
dc.date.available | 2020-02-18T08:23:38Z | - |
dc.date.issued | 2005-01-02 | - |
dc.identifier.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 | es |
dc.identifier.issn | 0302-9743MIAR | - |
dc.identifier.uri | http://hdl.handle.net/10609/109787 | - |
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. | en |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | - |
dc.publisher | Lecture Notes in Computer Science | - |
dc.relation.uri | https://doi.org/10.1007/11431855_5 | - |
dc.subject | UML | en |
dc.title | Computing the Relevant Instances That May Violate an OCL Constraint | - |
dc.type | info:eu-repo/semantics/article | - |
dc.rights.accessRights | info:eu-repo/semantics/closedAccess | - |
dc.identifier.doi | 10.1007/11431855_5 | - |
dc.gir.id | AR-0000000073 | - |
Apareix a les col·leccions: | Articles cientÍfics Articles |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
Cabot_LNCS_ComputingRelevant.pdf Restricted Access | 229,36 kB | Adobe PDF | Veure/Obrir Demanar una còpia |
Comparteix:
Els ítems del Repositori es troben protegits per copyright, amb tots els drets reservats, sempre i quan no s’indiqui el contrari.