Correctness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Version

dc.contributor.authorOrejas, Fernando
dc.contributor.authorGuerra, Esther
dc.contributor.authorde Lara, Juan
dc.contributor.authorEhrig, Hartmut
dc.date.accessioned2020-06-15T06:34:48Z
dc.date.available2020-06-15T06:34:48Z
dc.date.issued2009
dc.description.abstractModel-to-model (M2M) transformation consists in transforming 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
dc.identifier.issn1436-9915
dc.identifier.urihttps://depositonce.tu-berlin.de/handle/11303/11372
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-10259
dc.language.isoen
dc.relation.hasversion10.1007/978-3-642-03741-2_26
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004 Datenverarbeitung; Informatik
dc.subject.othermodel transformationen
dc.subject.othertarget modelen
dc.subject.othergraph transformationen
dc.subject.othergraph grammaren
dc.subject.othernegative patternen
dc.titleCorrectness, Completeness and Termination of Pattern-based Model-to-Model Transformation: Long Versionen
dc.typeResearch Paper
dc.type.versionsubmittedVersionen
tub.accessrights.dnbfree
tub.affiliationFak. 4 Elektrotechnik und Informatikde
tub.affiliation.facultyFak. 4 Elektrotechnik und Informatikde
tub.publisher.universityorinstitutionTechnische Universität Berlin
tub.series.issuenumber2009-09
tub.series.nameForschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Files
Original bundle
Now showing 1 - 1 of 1
Loading…
Thumbnail Image
Name:
tr-2009-09.pdf
Size:
320.88 KB
Format:
Adobe Portable Document Format
Description:
Collections