Show simple item record

dc.contributor.authorRull Fort, Guillem
dc.contributor.authorFarré Tost, Carles
dc.contributor.authorQueralt Calafat, Anna
dc.contributor.authorTeniente López, Ernest
dc.contributor.authorUrpí Tubella, Antoni
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.date.accessioned2015-06-12T10:19:01Z
dc.date.available2015-06-12T10:19:01Z
dc.date.created2015-05-01
dc.date.issued2015-05-01
dc.identifier.citationRull, 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.issn1619-1366
dc.identifier.urihttp://hdl.handle.net/2117/28292
dc.description.abstractThe 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.format.extent28 p.
dc.language.isoeng
dc.subjectÀrees temàtiques de la UPC::Informàtica::Enginyeria del software
dc.subject.lcshSoftware engineering
dc.subject.lcshComputer programming
dc.subject.otherValidation
dc.subject.otherConceptual modeling
dc.subject.otherUML
dc.subject.otherAutomated reasoning
dc.subject.otherExplanation
dc.subject.otherMinimal unsatisfiable subsets
dc.subject.otherDL-Lite family
dc.subject.otherDescription logics
dc.subject.otherClass diagrams
dc.subject.otherOCL
dc.subject.otherConstraints
dc.titleAuRUS: explaining the validation of UML/OCL conceptual schemas
dc.typeArticle
dc.subject.lemacEnginyeria del programari
dc.subject.lemacProgramació (Ordinadors)
dc.contributor.groupUniversitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.identifier.doi10.1007/s10270-013-0350-8
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://link.springer.com/article/10.1007%2Fs10270-013-0350-8
dc.rights.accessOpen Access
local.identifier.drac15830526
dc.description.versionPostprint (author’s final draft)
local.citation.authorRull, G.; Farre, C.; Queralt, A.; Teniente, E.; Urpi, T.
local.citation.publicationNameSoftware and systems modeling
local.citation.volume14
local.citation.number2
local.citation.startingPage953
local.citation.endingPage980


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder