Loading...
Loading...

Go to the content (press return)

AuRUS: explaining the validation of UML/OCL conceptual schemas

Author
Rull, G.; Farré, C.; Queralt, A.; Teniente, E.; Urpi, T.
Type of activity
Journal article
Journal
Software and systems modeling
Date of publication
2015-05-01
Volume
14
Number
2
First page
953
Last page
980
DOI
https://doi.org/10.1007/s10270-013-0350-8 Open in new window
Project funding
DISEÑO Y CONSTRUCCION DE UN ASISTENTE AL MODELADO CONCEPTUAL
Desarrollo de nuevas tecnicas y herramientas para la integracion de informacion
Repository
http://hdl.handle.net/2117/28292 Open in new window
URL
http://link.springer.com/article/10.1007%2Fs10270-013-0350-8 Open in new window
Abstract
The validation and the verification of conceptual schemas have attracted a lot of interest during the last years, and several tools have been developed to automate this process as much as possible. This is achieved, in general, by assessing whether the schema satisfies different kinds of desirable properties which ensure that the schema is correct. In this paper we describe AuRUS, a tool we have developed to analyze UML/OCL conceptual schemas and to explain their (in)correctness. When a property...
Citation
Rull, G. [et al.]. AuRUS: explaining the validation of UML/OCL conceptual schemas. "Software and systems modeling", 01 Maig 2015, vol. 14, núm. 2, p. 953-980.
Keywords
Automated reasoning, Class diagrams, Conceptual modeling, Constraints, DL-Lite family, Description logics, Explanation, Minimal unsatisfiable subsets, OCL, UML, Validation
Group of research
GESSI - Group of Software and Service Engineering
IMP - Information Modelling and Processing
inLab FIB

Participants

Attachments