Towards language-to-language transformation
dc.contributor.author | Kopetzki, Dawid | |
dc.contributor.author | Lybecait, Michael | |
dc.contributor.author | Naujokat, Stefan | |
dc.contributor.author | Steffen, Bernhard | |
dc.date.accessioned | 2022-04-19T12:20:42Z | |
dc.date.available | 2022-04-19T12:20:42Z | |
dc.date.issued | 2021-06-18 | |
dc.description.abstract | This 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.uri | http://hdl.handle.net/2003/40859 | |
dc.identifier.uri | http://dx.doi.org/10.17877/DE290R-22716 | |
dc.language.iso | en | de |
dc.relation.ispartofseries | International journal on software tools for technology transfer;Vol. 23. 2021, Issue 5, pp 655 - 677 | |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/ | |
dc.subject | Multi-level transformations | en |
dc.subject | Model-to-model transformation | en |
dc.subject | Graph rewriting | en |
dc.subject | (Typed) structural operational semantics | en |
dc.subject | Abstraction | en |
dc.subject | Structural aggregation | en |
dc.subject | Rule systems | en |
dc.subject | Meta language | en |
dc.subject | Model checking | en |
dc.subject | Graph pattern | en |
dc.subject.ddc | 004 | |
dc.subject.rswk | Graphersetzungssystem | de |
dc.subject.rswk | Abstraktion | de |
dc.subject.rswk | Aggregation | de |
dc.subject.rswk | Reduktionssystem | de |
dc.subject.rswk | Metasprache | de |
dc.subject.rswk | Model Checking | de |
dc.subject.rswk | Transformation | de |
dc.title | Towards language-to-language transformation | en |
dc.type | Text | de |
dc.type.publicationtype | article | de |
dcterms.accessRights | open access | |
eldorado.secondarypublication | true | de |
eldorado.secondarypublication.primarycitation | International journal on software tools for technology transfer. Vol. 23. 2021, Issue 5, pp 655-677 | en |
eldorado.secondarypublication.primaryidentifier | https://doi.org/10.1007/s10009-021-00630-2 | de |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Kopetzki2021_Article_TowardsLanguage-to-languageTra.pdf
- Size:
- 5.71 MB
- Format:
- Adobe Portable Document Format
- Description:
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 4.85 KB
- Format:
- Item-specific license agreed upon to submission
- Description: