1. Repositori Institucional (O2)
  2. Recerca
  3. Tecnología y comunicación
  4. Informàtica, tecnologia i multimèdia
  5. Conferències
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10609/147152
Registro completo de metadatos
Campo DC Valor Lengua/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-
Aparece en las colecciones: Conferències

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
gomez_lnbpi_tool.pdf533,77 kBAdobe PDFVista previa
Visualizar/Abrir
Mostrar el registro sencillo del ítem
Comparte:
Impacto: Google Scholar Microsoft Academic
Exporta:
Consulta las estadísticas

Los ítems del Repositorio están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.