Please use this identifier to cite or link to this item:
http://hdl.handle.net/10609/147152
Title: | A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams |
Author: | Gómez Gutierrez, Juan Antonio Clarisó, Robert Cabot, Jordi |
Others: | Universitat Oberta de Catalunya |
Abstract: | 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). |
Keywords: | UML OCL class diagram verification integrity constraint USE model debugging |
DOI: | http://doi.org/10.1007/978-3-031-07475-2_18 |
Document type: | info:eu-repo/semantics/conferenceObject |
Version: | info:eu-repo/semantics/acceptedVersion |
Issue Date: | 30-May-2022 |
Publication license: | http://creativecommons.org/licenses/by-nc-nd/4.0 |
Appears in Collections: | Conferències |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
gomez_lnbpi_tool.pdf | 533,77 kB | Adobe PDF | View/Open |
Share:
Items in repository are protected by copyright, with all rights reserved, unless otherwise indicated.