Mostra el registre d'ítem simple
AuRUS: Automated Reasoning on UML/OCL Schemas
dc.contributor.author | Queralt Calafat, Anna |
dc.contributor.author | Rull Fort, Guillem |
dc.contributor.author | Teniente López, Ernest |
dc.contributor.author | Farré Tost, Carles |
dc.contributor.author | Urpí Tubella, Antoni |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació |
dc.date.accessioned | 2011-01-31T14:15:57Z |
dc.date.available | 2011-01-31T14:15:57Z |
dc.date.created | 2010 |
dc.date.issued | 2010 |
dc.identifier.citation | Queralt, 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.uri | http://hdl.handle.net/2117/11238 |
dc.description.abstract | To 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.extent | 7 p. |
dc.language.iso | eng |
dc.publisher | Springer Verlag |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Enginyeria del software |
dc.subject.lcsh | Computer simulation -- Mathematical models |
dc.subject.lcsh | Conceptual Modeling |
dc.title | AuRUS: Automated Reasoning on UML/OCL Schemas |
dc.type | Conference lecture |
dc.subject.lemac | Modelització |
dc.contributor.group | Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
dc.identifier.doi | 10.1007/978-3-642-16373-9 |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://www.springerlink.com/content/?k=AuRUS%3a+Automated+Reasoning+on+UML%2fOCL+Schemas |
dc.rights.access | Restricted access - publisher's policy |
local.identifier.drac | 4424418 |
dc.description.version | Postprint (published version) |
local.citation.author | Queralt, A.; Rull, G.; Teniente, E.; Farre, C.; Urpi, T. |
local.citation.contributor | International Conference on Conceptual Modeling |
local.citation.pubplace | Vancouver |
local.citation.publicationName | 29th International Conference on Conceptual Modeling |
local.citation.startingPage | 438 |
local.citation.endingPage | 444 |