Loading...
Loading...

Go to the content (press return)

Simplification of UML/OCL schemas for efficient reasoning

Author
Oriol, X.; Teniente, E.
Type of activity
Journal article
Journal
Journal of systems and software
Date of publication
2017-06-01
Volume
128
First page
130
Last page
149
DOI
https://doi.org/10.1016/j.jss.2017.03.015 Open in new window
Repository
http://hdl.handle.net/2117/103942 Open in new window
URL
http://www.sciencedirect.com/science/article/pii/S016412121730064X Open in new window
Abstract
Ensuring the correctness of a conceptual schema is an essential task in order to avoid the propagation of errors during software development. The kind of reasoning required to perform such task is known to be exponential for UML class diagrams alone and even harder when considering OCL constraints. Motivated by this issue, we propose an innovative method aimed at removing constraints and other UML elements of the schema to obtain a simplified one that preserve the same reasoning outcomes. In thi...
Citation
Oriol, X., Teniente, E. Simplification of UML/OCL schemas for efficient reasoning. "Journal of systems and software", 1 Juny 2017, vol. 128, p. 130-149.
Keywords
OCL, Reasoning, Simplification, UML
Group of research
IMP - Information Modelling and Processing
inLab FIB

Participants

Attachments