AuRUS: explaining the validation of UML/OCL conceptual schemas
Visualitza/Obre
Cita com:
hdl:2117/28292
Tipus de documentArticle
Data publicació2015-05-01
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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 is satisfied, AuRUS provides a sample instantiation of the schema showing a particular situation where the property holds. When it is not, AuRUS provides an explanation for such unsatisfiability, i.e., a set of integrity constraints which is in contradiction with the property.
Citació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.
ISSN1619-1366
Versió de l'editorhttp://link.springer.com/article/10.1007%2Fs10270-013-0350-8
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
AuRUS-SoSYM'12-v5.4-submitted.pdf | Article principal | 964,3Kb | Visualitza/Obre |