Towards language-to-language transformation

dc.contributor.authorKopetzki, Dawid
dc.contributor.authorLybecait, Michael
dc.contributor.authorNaujokat, Stefan
dc.contributor.authorSteffen, Bernhard
dc.date.accessioned2022-04-19T12:20:42Z
dc.date.available2022-04-19T12:20:42Z
dc.date.issued2021-06-18
dc.description.abstractThis paper proposes a simplicity-oriented approach and framework for language-to-language transformation of, in particular, graphical languages. Key to simplicity is the decomposition of the transformation specification into sub-rule systems that separately specify purpose-specific aspects. We illustrate this approach by employing a variation of Plotkin’s Structural Operational Semantics (SOS) for pattern-based transformations of typed graphs in order to address the aspect ‘computation’ in a graph rewriting fashion. Key to our approach are two generalizations of Plotkin’s structural rules: the use of graph patterns as the matching concept in the rules, and the introduction of node and edge types. Types do not only allow one to easily distinguish between different kinds of dependencies, like control, data, and priority, but may also be used to define a hierarchical layering structure. The resulting Type-based Structural Operational Semantics (TSOS) supports a well-structured and intuitive specification and realization of semantically involved language-to-language transformations adequate for the generation of purpose-specific views or input formats for certain tools, like, e.g., model checkers. A comparison with the general-purpose transformation frameworks ATL and Groove, illustrates along the educational setting of our graphical WebStory language that TSOS provides quite a flexible format for the definition of a family of purpose-specific transformation languages that are easy to use and come with clear guarantees.en
dc.identifier.urihttp://hdl.handle.net/2003/40859
dc.identifier.urihttp://dx.doi.org/10.17877/DE290R-22716
dc.language.isoende
dc.relation.ispartofseriesInternational journal on software tools for technology transfer;Vol. 23. 2021, Issue 5, pp 655 - 677
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/
dc.subjectMulti-level transformationsen
dc.subjectModel-to-model transformationen
dc.subjectGraph rewritingen
dc.subject(Typed) structural operational semanticsen
dc.subjectAbstractionen
dc.subjectStructural aggregationen
dc.subjectRule systemsen
dc.subjectMeta languageen
dc.subjectModel checkingen
dc.subjectGraph patternen
dc.subject.ddc004
dc.subject.rswkGraphersetzungssystemde
dc.subject.rswkAbstraktionde
dc.subject.rswkAggregationde
dc.subject.rswkReduktionssystemde
dc.subject.rswkMetasprachede
dc.subject.rswkModel Checkingde
dc.subject.rswkTransformationde
dc.titleTowards language-to-language transformationen
dc.typeTextde
dc.type.publicationtypearticlede
dcterms.accessRightsopen access
eldorado.secondarypublicationtruede
eldorado.secondarypublication.primarycitationInternational journal on software tools for technology transfer. Vol. 23. 2021, Issue 5, pp 655-677en
eldorado.secondarypublication.primaryidentifierhttps://doi.org/10.1007/s10009-021-00630-2de

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Kopetzki2021_Article_TowardsLanguage-to-languageTra.pdf
Size:
5.71 MB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
4.85 KB
Format:
Item-specific license agreed upon to submission
Description: