Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/28292
dc.contributor | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
dc.contributor.author | Rull Fort, Guillem |
dc.contributor.author | Farré Tost, Carles |
dc.contributor.author | Queralt Calafat, Anna |
dc.contributor.author | Teniente López, Ernest |
dc.contributor.author | Urpí Tubella, Antoni |
dc.date | 2015-05-01 |
dc.identifier.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. |
dc.identifier.citation | 1619-1366 |
dc.identifier.citation | 10.1007/s10270-013-0350-8 |
dc.identifier.uri | http://hdl.handle.net/2117/28292 |
dc.description.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. |
dc.description.abstract | Peer Reviewed |
dc.language.iso | eng |
dc.relation | http://link.springer.com/article/10.1007%2Fs10270-013-0350-8 |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Enginyeria del software |
dc.subject | Software engineering |
dc.subject | Computer programming |
dc.subject | Validation |
dc.subject | Conceptual modeling |
dc.subject | UML |
dc.subject | Automated reasoning |
dc.subject | Explanation |
dc.subject | Minimal unsatisfiable subsets |
dc.subject | DL-Lite family |
dc.subject | Description logics |
dc.subject | Class diagrams |
dc.subject | OCL |
dc.subject | Constraints |
dc.subject | Enginyeria del programari |
dc.subject | Programació (Ordinadors) |
dc.title | AuRUS: explaining the validation of UML/OCL conceptual schemas |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/article |