Regelgesteuerte invasive Softwarekomposition mit strategischer Port-Graphersetzung (RISCOS)

• Antragsteller: Professor Dr. Uwe Aßmann
• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2016 bis 2020
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 280611750

• Erstellungsjahr: 2021

Zusammenfassung der Projektergebnisse

The goal of RISCOS was to develop a simple weaving technology. This technology should employ port graphs and port-graph rewriting systems (PGRS) to weave program and model snippets (fragments), as well as fragment components, by port-graph rewriting. Unexpectedly, it turned out during the project that the employment of port-graph rewriting systems (PGRS) must be broadened to CC-brick graph rewriting and bigraph rewriting. In these approaches, bimodal ports of components can be modeled easier. Such port modes are very important for component modeling, because IN and OUT interfaces, or at least PROVIDED and REQUIRED interfaces, must be defined for a component’s communication with its environment. The main results of the RISCOS project are: • Identification of CC-bricks and bigraphs as general formalization approaches for component composition and weaving. • Definition of Relational RAG as extension of Reference Attributed Grammars (RAG), a lightweight approach to harvest the advantages of CC-bricks and bigraph analysis and rewriting, in particular, for the definition of crosscut graphs and weavings of program and model fragments. • Provision of mature, open-source Relational RAG toolset, already in use by other projects. • Conduction of several case studies to evaluate the Relational RAG toolset. • Interoperability of the toolset with a contemporary bigraph toolkit. • Definition of a (simple) algebraic framework for feature-term weaving, and thereby, for simple, language-generic weaving of model and program fragments. However, the project did not reach all of its goals: The definition and formalization of CC-brick rewrite systems and bigraph weaving systems is still future work. Also, the definition of Relational RAG weaving technology for feature terms could not be finished. Nevertheless, the basic goal of developing the foundations of a very simple weaving technology have been laid, and the group will continue to follow the lines of RISCOS in the next years, because several knowledge transfers have already started.

Projektbezogene Publikationen (Auswahl)

• “A JastAdd-based Solution to the TTC 2018 Social Media Case”. In: Proceedings of the 11th Transformation Tool Contest (TTC@STAF 2018). Ed. by Antonio García-Domínguez, Georg Hinkel, and Filip Krikava. Vol. 2310. CEUR Workshop Proceedings. CEUR-WS.org, 2018, pp. 57–63
  René Schöne and Johannes Mey
  
• “Continuous Model Validation Using Reference Attribute Grammars”. In: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering. SLE 2018. ACM, 2018, pp. 70–82
  Johannes Mey, René Schöne, Görel Hedin, Emma Söderberg, Thomas Kühn, Niklas Fors, Jesper Öqvist, and Uwe Aßmann
  
• “Transforming Truth Tables to Binary Decision Diagrams Using Relational Reference Attribute Grammars”. In: Proceedings of the 12th Transformation Tool Contest (TTC 2019). Ed. by Antonio García-Domínguez, Georg Hinkel, and Filip Krikava. Vol. 2550. CEUR Workshop Proceedings. CEUR-WS.org, 2019
  Johannes Mey, René Schöne, Christopher Werner, and Uwe Aßmann
  
• “Connecting conceptual models using relational reference attribute grammars”. In: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. MODELS ’20. New York, NY, USA: Association for Computing Machinery, Oct. 16, 2020, pp. 1–11. isbn: 978-1- 4503-8135-2
  René Schöne, Johannes Mey, Sebastian Ebert, and Uwe Aßmann
  
• “Relational Reference Attribute Grammars: Improving Continuous Model Validation”. In: Journal of Computer Languages 57 (Jan. 20, 2020), p. 21
  Johannes Mey, René Schöne, Görel Hedin, Emma Söderberg, Thomas Kühn, Niklas Fors, Jesper Öqvist, and Uwe Aßmann
  
• “Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars”. In: The Art, Science, and Engineering of Programming 4.3 (Feb. 17, 2020)
  Johannes Mey, Thomas Kühn, René Schöne, and Uwe Aßmann
  
• RagConnect: A Connection Language for [e-mail] based on Relational Reference Attribute Grammars”. In: Proceedings of the 24th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Proceedings. MODELS ’21. Oct. 10, 2021
  René Schöne, Johannes Mey, Sebastian Ebert, and Uwe Aßmann