Please use this identifier to cite or link to this item:
http://hdl.handle.net/10609/147152
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Gómez Gutierrez, Juan Antonio | - |
dc.contributor.author | Clarisó, Robert | - |
dc.contributor.author | Cabot, Jordi | - |
dc.contributor.other | Universitat Oberta de Catalunya | - |
dc.date.accessioned | 2023-01-13T08:00:36Z | - |
dc.date.available | 2023-01-13T08:00:36Z | - |
dc.date.issued | 2022-05-30 | - |
dc.identifier.isbn | 9783031074752 | - |
dc.identifier.uri | http://hdl.handle.net/10609/147152 | - |
dc.description.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). | en |
dc.format.mimetype | application/pdf | - |
dc.language.iso | eng | ca |
dc.publisher | Springer | ca |
dc.relation.ispartof | Lecture Notes in Business Information Processing, 2022, 450 | - |
dc.relation.uri | https://doi.org/10.1007/978-3-031-07475-2_18 | - |
dc.rights | CC BY-NC-ND 4.0 | - |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0 | - |
dc.subject | UML | en |
dc.subject | OCL | en |
dc.subject | class diagram | en |
dc.subject | verification | en |
dc.subject | integrity constraint | en |
dc.subject | USE | en |
dc.subject | model debugging | en |
dc.subject | UML | ca |
dc.subject | OCL | ca |
dc.subject | diagrama de classes | ca |
dc.subject | verificació | ca |
dc.subject | restricció d'integritat | ca |
dc.subject | USE | ca |
dc.subject | depuració de models | ca |
dc.subject | UML | es |
dc.subject | OCL | es |
dc.subject | diagrama de clases | es |
dc.subject | verificación | es |
dc.subject | restricción de integridad | es |
dc.subject | USE | es |
dc.subject | depuración de modelos | es |
dc.subject.lcsh | debugging in computer science | en |
dc.title | A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams | ca |
dc.type | info:eu-repo/semantics/conferenceObject | ca |
dc.subject.lemac | depuració (Informàtica) | ca |
dc.subject.lcshes | depuración (Informática) | es |
dc.rights.accessRights | info:eu-repo/semantics/embargoedAccess | - |
dc.identifier.doi | http://doi.org/10.1007/978-3-031-07475-2_18 | - |
dc.gir.id | AR/0000009851 | - |
dc.relation.projectID | info:eu-repo/grantAgreement/AEI/PID2020-114615RB-I00 | - |
dc.type.version | info:eu-repo/semantics/acceptedVersion | - |
dc.date.embargoEndDate | 2023-05-30 | - |
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.