Show simple item record

dc.contributor.authorCabot, Jordi
dc.contributor.authorClarisó, Robert
dc.contributor.authorGuerra Sánchez, Esther 
dc.contributor.authorLara Jaramillo, Juan de 
dc.contributor.otherUAM. Departamento de Ingeniería Informáticaes_ES
dc.date.accessioned2015-03-06T14:40:42Z
dc.date.available2015-03-06T14:40:42Z
dc.date.issued2008
dc.identifier.citationModel 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-52en_US
dc.identifier.isbn978-3-540-87874-2 (print)en_US
dc.identifier.isbn978-3-540-87875-9 (online)en_US
dc.identifier.issn0302-9743 (print)en_US
dc.identifier.issn1611-3349 (online)en_US
dc.identifier.urihttp://hdl.handle.net/10486/664384
dc.descriptionThe final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-87875-9_3en_US
dc.descriptionProceedings of 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008en_US
dc.description.abstractIn 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.sponsorshipWork 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 granten_US
dc.format.extent17 pág.es_ES
dc.format.mimetypeapplication/pdfen
dc.language.isoengen
dc.publisherSpringer Berlin Heidelberg
dc.relation.ispartofLecture Notes in Computer Scienceen_US
dc.rights© Springer-Verlag Berlin Heidelberg 2008
dc.subject.otherSoftware Engineeringen_US
dc.subject.otherProgramming Languages, Compilers, Interpretersen_US
dc.subject.otherSimulation and Modelingen_US
dc.subject.otherManagement of Computing and Information Systemsen_US
dc.titleAn invariant-based method for the analysis of declarative model-to-model transformationsen_US
dc.typeconferenceObjecten
dc.typebookParten
dc.subject.ecienciaInformáticaes_ES
dc.relation.publisherversionhttp://dx.doi.org/10.1007/978-3-540-87875-9_3
dc.identifier.doi10.1007/978-3-540-87875-9_3
dc.identifier.publicationfirstpage37
dc.identifier.publicationlastpage52
dc.identifier.publicationvolume5301
dc.relation.eventdateSeptember 28 - October 3, 2008en_US
dc.relation.eventnumber11
dc.relation.eventplaceToulouse (France)en_US
dc.relation.eventtitle11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008en_US
dc.type.versioninfo:eu-repo/semantics/acceptedVersionen
dc.contributor.groupHerramientas Interactivas Avanzadas (ING EPS-003)es_ES
dc.rights.accessRightsopenAccessen
dc.authorUAMLara Jaramillo, Juan De (259157)
dc.facultadUAMEscuela Politécnica Superior


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record