1. Repositori Institucional (O2)
  2. Recerca
  3. Tecnología y comunicación
  4. Informàtica, tecnologia i multimèdia
  5. Conferències
Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/10609/147152
Registre complet de metadades
Camp DCValorLlengua/Idioma
dc.contributor.authorGOMEZ GUTIERREZ, JUAN ANTONIO-
dc.contributor.authorClarisó, Robert-
dc.contributor.authorCabot, Jordi-
dc.contributor.otherUniversitat Oberta de Catalunya-
dc.date.accessioned2023-01-13T08:00:36Z-
dc.date.available2023-01-13T08:00:36Z-
dc.date.issued2022-05-30-
dc.identifier.isbn9783031074752-
dc.identifier.urihttp://hdl.handle.net/10609/147152-
dc.description.abstractSoftware models are the basis of the Model-Driven Engineering paradigm. The most popular modeling notation is UML class diagrams, which can be annotated with OCL predicates to describe complex integrity constraints. When creating and managing UML/OCL models, a challenge for domain engineers is diagnosing faults. Problems like inconsistencies among integrity constraints can render a model useless. While existing verification tools provide ample support for detecting faults, users have less support when trying to understand and fix them. In this paper, we present a tool aimed at helping domain engineers locate, understand and fix faults in UML/OCL class diagrams. This tool is built as a plug-in within an existing UML modeling tool, the UML Specification Environment (USE).en
dc.format.mimetypeapplication/pdf-
dc.language.isoengca
dc.publisherSpringerca
dc.relation.ispartofLecture Notes in Business Information Processing, 2022, 450-
dc.relation.urihttps://doi.org/10.1007/978-3-031-07475-2_18-
dc.rightsCC BY-NC-ND 4.0-
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0-
dc.subjectUMLen
dc.subjectOCLen
dc.subjectclass diagramen
dc.subjectverificationen
dc.subjectintegrity constrainten
dc.subjectUSEen
dc.subjectmodel debuggingen
dc.subjectUMLca
dc.subjectOCLca
dc.subjectdiagrama de classesca
dc.subjectverificacióca
dc.subjectrestricció d'integritatca
dc.subjectUSEca
dc.subjectdepuració de modelsca
dc.subjectUMLes
dc.subjectOCLes
dc.subjectdiagrama de claseses
dc.subjectverificaciónes
dc.subjectrestricción de integridades
dc.subjectUSEes
dc.subjectdepuración de modeloses
dc.subject.lcshdebugging in computer scienceen
dc.titleA Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagramsca
dc.typeinfo:eu-repo/semantics/conferenceObjectca
dc.subject.lemacdepuració (Informàtica)ca
dc.subject.lcshesdepuración (Informática)es
dc.rights.accessRightsinfo:eu-repo/semantics/embargoedAccess-
dc.identifier.doihttp://doi.org/10.1007/978-3-031-07475-2_18-
dc.gir.idAR/0000009851-
dc.relation.projectIDinfo:eu-repo/grantAgreement/AEI/PID2020-114615RB-I00-
dc.type.versioninfo:eu-repo/semantics/acceptedVersion-
dc.date.embargoEndDate2023-05-30-
Apareix a les col·leccions:Conferències

Arxius per aquest ítem:
Arxiu Descripció MidaFormat 
gomez_lnbpi_tool.pdf533,77 kBAdobe PDFThumbnail
Veure/Obrir
Mostrar el registre simplificat de l'ítem
Comparteix:
Impacte: Google Scholar Microsoft Academic
Exporta:
Consulta les estadístiques

Els ítems del Repositori es troben protegits per copyright, amb tots els drets reservats, sempre i quan no s’indiqui el contrari.