A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams

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:	GOMEZ 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