Show simple item record

dc.contributor.authorQueralt Calafat, Anna
dc.contributor.authorRull Fort, Guillem
dc.contributor.authorTeniente López, Ernest
dc.contributor.authorFarré Tost, Carles
dc.contributor.authorUrpí Tubella, Antoni
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.date.accessioned2011-01-31T14:15:57Z
dc.date.available2011-01-31T14:15:57Z
dc.date.created2010
dc.date.issued2010
dc.identifier.citationQueralt, A. [et al.]. AuRUS: Automated Reasoning on UML/OCL Schemas. A: International Conference on Conceptual Modeling. "29th International Conference on Conceptual Modeling". Vancouver: Springer Verlag, 2010, p. 438-444.
dc.identifier.urihttp://hdl.handle.net/2117/11238
dc.description.abstractTo ensure the quality of an information system, the conceptual schema that represents its domain must be semantically correct. We present a prototype to automatically check whether a UML schema with OCL constraints is right in this sense. It is well known that the full expressiveness of OCL leads to undecidability of reasoning. To deal with this problem, our approach finds a compromise between expressiveness and decidability, thus being able to handle very expressive constraints guaranteeing termination in many cases.
dc.format.extent7 p.
dc.language.isoeng
dc.publisherSpringer Verlag
dc.subjectÀrees temàtiques de la UPC::Informàtica::Enginyeria del software
dc.subject.lcshComputer simulation -- Mathematical models
dc.subject.lcshConceptual Modeling
dc.titleAuRUS: Automated Reasoning on UML/OCL Schemas
dc.typeConference lecture
dc.subject.lemacModelització
dc.contributor.groupUniversitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació
dc.identifier.doi10.1007/978-3-642-16373-9
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://www.springerlink.com/content/?k=AuRUS%3a+Automated+Reasoning+on+UML%2fOCL+Schemas
dc.rights.accessRestricted access - publisher's policy
local.identifier.drac4424418
dc.description.versionPostprint (published version)
local.citation.authorQueralt, A.; Rull, G.; Teniente, E.; Farre, C.; Urpi, T.
local.citation.contributorInternational Conference on Conceptual Modeling
local.citation.pubplaceVancouver
local.citation.publicationName29th International Conference on Conceptual Modeling
local.citation.startingPage438
local.citation.endingPage444


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record