Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Simplification of UML/OCL schemas for efficient reasoning

Autor
Oriol, X.; Teniente, E.
Tipus d'activitat
Article en revista
Revista
Journal of systems and software
Data de publicació
2017-06-01
Volum
128
Pàgina inicial
130
Pàgina final
149
DOI
https://doi.org/10.1016/j.jss.2017.03.015 Obrir en finestra nova
Repositori
http://hdl.handle.net/2117/103942 Obrir en finestra nova
URL
http://www.sciencedirect.com/science/article/pii/S016412121730064X Obrir en finestra nova
Resum
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...
Citació
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.
Paraules clau
OCL, Reasoning, Simplification, UML
Grup de recerca
IMP - Information Modeling and Processing

Participants