dc.contributor.author | Cabot, Jordi | |
dc.contributor.author | Clarisó, Robert | |
dc.contributor.author | Guerra Sánchez, Esther | |
dc.contributor.author | Lara Jaramillo, Juan de | |
dc.contributor.other | UAM. Departamento de Ingeniería Informática | es_ES |
dc.date.accessioned | 2015-03-06T14:40:42Z | |
dc.date.available | 2015-03-06T14:40:42Z | |
dc.date.issued | 2008 | |
dc.identifier.citation | Model Driven Engineering Languages and Systems: 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings. Lecture Notes in Computer Science, Volumen 5301. Springer, 2008. 37-52 | en_US |
dc.identifier.isbn | 978-3-540-87874-2 (print) | en_US |
dc.identifier.isbn | 978-3-540-87875-9 (online) | en_US |
dc.identifier.issn | 0302-9743 (print) | en_US |
dc.identifier.issn | 1611-3349 (online) | en_US |
dc.identifier.uri | http://hdl.handle.net/10486/664384 | |
dc.description | The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-87875-9_3 | en_US |
dc.description | Proceedings of 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008 | en_US |
dc.description.abstract | In this paper we propose a method to derive OCL invariants from declarative specifications of model-to-model transformations. In particular we consider two of the most prominent approaches for specifying such transformations: Triple Graph Grammars and QVT. Once the specification is expressed in the form of invariants, the transformation developer can use such description to verify properties of the original transformation (e.g. whether it defines a total, surjective or injective function), and to validate the transformation by the automatic generation of valid pairs of source and target models. | en_US |
dc.description.sponsorship | Work supported by the Spanish Ministry of Education and Science, projects MOSAIC (TSI2005-08225-C07-06), MODUWEB (TIN2006-09678) and TIN2005-06053, and an UOC-IN3 research grant | en_US |
dc.format.extent | 17 pág. | es_ES |
dc.format.mimetype | application/pdf | en |
dc.language.iso | eng | en |
dc.publisher | Springer Berlin Heidelberg | |
dc.relation.ispartof | Lecture Notes in Computer Science | en_US |
dc.rights | © Springer-Verlag Berlin Heidelberg 2008 | |
dc.subject.other | Software Engineering | en_US |
dc.subject.other | Programming Languages, Compilers, Interpreters | en_US |
dc.subject.other | Simulation and Modeling | en_US |
dc.subject.other | Management of Computing and Information Systems | en_US |
dc.title | An invariant-based method for the analysis of declarative model-to-model transformations | en_US |
dc.type | conferenceObject | en |
dc.type | bookPart | en |
dc.subject.eciencia | Informática | es_ES |
dc.relation.publisherversion | http://dx.doi.org/10.1007/978-3-540-87875-9_3 | |
dc.identifier.doi | 10.1007/978-3-540-87875-9_3 | |
dc.identifier.publicationfirstpage | 37 | |
dc.identifier.publicationlastpage | 52 | |
dc.identifier.publicationvolume | 5301 | |
dc.relation.eventdate | September 28 - October 3, 2008 | en_US |
dc.relation.eventnumber | 11 | |
dc.relation.eventplace | Toulouse (France) | en_US |
dc.relation.eventtitle | 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008 | en_US |
dc.type.version | info:eu-repo/semantics/acceptedVersion | en |
dc.contributor.group | Herramientas Interactivas Avanzadas (ING EPS-003) | es_ES |
dc.rights.accessRights | openAccess | en |
dc.authorUAM | Lara Jaramillo, Juan De (259157) | |
dc.facultadUAM | Escuela Politécnica Superior | |