Automatische Bidirektionalisierung durch programmiersprachliche Techniken

使用编程语言技术自动双向化

• 批准号: 216035349
• 负责人: Professor Dr. Janis Voigtländer
• 金额: --
• 依托单位: Lehrstuhl Theoretische Informatik
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2012
• 资助国家: 德国
• 起止时间: 2011-12-31 至 2015-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/216035349?language=en
• 关键词: Automatische; Bidirektionalisierung; durch; programmiersprachliche; Techniken

Gegenstand des Vorhabens sind bidirektionale Transformationen: Paare von ”Vorwärts“/”Rückwärts“-Funktionen, die in konsistenter Weise Beziehungen zwischen zwei Bereichen von Daten/ Objekten herstellen. Derart gekoppelte Transformationen spielen eine wichtige Rolle in mehreren Bereichen der Informatik. Die übergeordnete Fragestellung des Projektes ist, wie solche Funktionspaare mit möglichst wenig Aufwand und dennoch verlässlich als Programme erstellt und gewartet werden können. Dafür sollen Techniken aus der Theorie der Programmiersprachen nutzbar gemacht, neu- und weiterentwickelt werden. Insbesondere wird der Ansatz verfolgt, dass der Programmierer lediglich die Vorwärts-Funktion schreiben muss und dann eine passende Rückwärts-Funktion automatisch synthetisiert wird. Relevant sind dabei sowohl formale Aspekte zu Konsistenzgarantien als auch pragmatische Aspekte der Anwendbarkeit und des möglichen Einflusses der Intention des Programmierers, wenn zu einer gegebenen Vorwärts-Funktion unter einzig dem Gesichtspunkt der formalen Konsistenz mehrere Rückwärts-Funktionen möglich wären.

从Vorhabens sind bidirektionale Transformationen：Paare von“Vorwärts”/“RüCKWärts”-Funktionen，死于中心Weise BezieHungen zwitchen zwei Bereichen von Daten/Objekten Herstellen。从信息时代到信息时代的转变。这是一项新的研究和开发项目，其功能是MIT Möglichst Venig Aufwand and dennoch verlässlich Program erstellt and gewartet wwden können。从程序设计的角度来看，这是一种新的和更多的技术。在这种情况下，编程人员可以通过以下方式实现功能：自动生成和综合功能。与此相关的是，在编程人员的意向下，我们将为编程人员提供实用的技术支持，并在此基础上实现其功能。