dc.contributor.author | Orejas, Fernando | |
dc.contributor.author | Guerra Sánchez, Esther | |
dc.contributor.author | Lara Jaramillo, Juan de | |
dc.contributor.author | Ehrig, Hartmut | |
dc.contributor.other | UAM. Departamento de Ingeniería Informática | es_ES |
dc.date.accessioned | 2015-03-06T13:43:32Z | |
dc.date.available | 2015-03-06T13:43:32Z | |
dc.date.issued | 2009 | |
dc.identifier.citation | Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Lecture Notes in Computer Science, Volumen 5728. Springer, 2009. 383-397 | en_US |
dc.identifier.isbn | 978-3-642-03740-5 (print) | en_US |
dc.identifier.isbn | 978-3-642-03741-2 (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/664376 | |
dc.description | The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-03741-2_26 | en_US |
dc.description | Proceedings of Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. | en_US |
dc.description.abstract | Model-to-model (M2M) transformation consists in trans- forming models from a source to a target language. Many transformation languages exist, but few of them combine a declarative and relational style with a formal underpinning able to show properties of the transformation. Pattern-based transformation is an algebraic, bidirectional, and relational approach to M2M transformation. Specifications are made of patterns stating the allowed or forbidden relations between source and target models, and then compiled into low level operational mechanisms to perform source-to-target or target-to-source transformations. In this paper, we study the compilation into operational triple graph grammar rules and show: (i) correctness of the compilation of a specification without negative patterns; (ii) termination of the rules, and (iii) completeness, in the sense that every model considered relevant can be built by the rules. | en_US |
dc.description.sponsorship | Work supported by the Spanish Ministry of Science and Innovation, projects METEORIC (TIN2008-02081), MODUWEB (TIN2006-09678) and FORMALISM (TIN2007-66523). Moreover, part of this work was done during a sabbatical leave of the first author at TU Berlin, with financial support from the Spanish Ministry of Science and Innovation (grant ref. PR2008-0185). We thank the referees for their useful comments | en_US |
dc.format.extent | 16 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 2009 | |
dc.subject.other | Logics and Meanings of Programs | en_US |
dc.subject.other | Discrete Mathematics in Computer Science | en_US |
dc.subject.other | Models and Principles | en_US |
dc.subject.other | Computation by Abstract Devices | en_US |
dc.title | Correctness, completeness and termination of pattern-based model-to-model transformation | 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-642-03741-2_26 | |
dc.identifier.doi | 10.1007/978-3-642-03741-2_26 | |
dc.identifier.publicationfirstpage | 383 | |
dc.identifier.publicationlastpage | 397 | |
dc.identifier.publicationvolume | 5728 | |
dc.relation.eventdate | September 7-10, 2009 | en_US |
dc.relation.eventnumber | 3 | |
dc.relation.eventplace | Udine (Italy) | en_US |
dc.relation.eventtitle | Third International Conference on Algebra and Coalgebra in Computer Science, CALCO 2009 | 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 | |