Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/147152
Títol: | A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams |
Autoria: | Gómez Gutierrez, Juan Antonio Clarisó, Robert Cabot, Jordi |
Altres: | Universitat Oberta de Catalunya |
Resum: | Software 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). |
Paraules clau: | UML OCL diagrama de classes verificació restricció d'integritat USE depuració de models |
DOI: | http://doi.org/10.1007/978-3-031-07475-2_18 |
Tipus de document: | info:eu-repo/semantics/conferenceObject |
Versió del document: | info:eu-repo/semantics/acceptedVersion |
Data de publicació: | 30-mai-2022 |
Llicència de publicació: | http://creativecommons.org/licenses/by-nc-nd/4.0 |
Apareix a les col·leccions: | Conferències |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
gomez_lnbpi_tool.pdf | 533,77 kB | Adobe PDF | Veure/Obrir |
Comparteix:
Els ítems del Repositori es troben protegits per copyright, amb tots els drets reservats, sempre i quan no s’indiqui el contrari.