Towards language-to-language transformation
-
Published:2021-06-18
Issue:5
Volume:23
Page:655-677
-
ISSN:1433-2779
-
Container-title:International Journal on Software Tools for Technology Transfer
-
language:en
-
Short-container-title:Int J Softw Tools Technol Transfer
Author:
Kopetzki Dawid,Lybecait Michael,Naujokat Stefan,Steffen Bernhard
Abstract
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.
Funder
Technische Universität Dortmund
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference54 articles.
1. Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) Model Driven Engineering Languages and Systems, pp. 121–135. Springer, Berlin (2010) 2. Bakera, M., Margaria, T., Renner, C., Steffen, B.: Tool-supported enhancement of diagnosis in model-driven verification. Innov. Syst. Softw. Eng. 5, 211–228 (2009). https://doi.org/10.1007/s11334-009-0091-6 3. Balasubramanian, D., Narayanan, A., van Buskirk, C., Karsai, G.: The graph rewriting and transformation language: GReAT. Electron. Commun. EASST 1, 1–8 (2007) 4. Bergmayr, A., Troya, J., Wimmer, M.: From out-place transformation evolution to in-place model patching. In: Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, ASE ’14, pp. 647–652. Association for Computing Machinery, New York, NY, USA (2014). https://doi.org/10.1145/2642937.2642946 5. Brand, C., Gorning, M., Kaiser, T., Pasch, J., Wenz, M.: Graphiti - Development of high-quality graphical model editors. Eclipse Magazine (2011)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Education and Characteristics of Computational Thinking: A Systematic Literature Review;Lecture Notes in Networks and Systems;2024 2. Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022 3. An Approach to Software Assets Reusing;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2022 4. Towards language-to-language transformation;International Journal on Software Tools for Technology Transfer;2021-06-18
|
|