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.

Gegenstand des Vorhabens sind bidirectionale 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（译为“转换”），在“信息时代”（译为“信息时代”）。<s:1> bergeordnete Fragestellung des Projektes ist， wie solche funcktionspaare mit möglichst wenig aufand and dennoch verlässlich也计划erstelland gewartewerden können。[4][技术与理论][技术与理论][技术与理论][技术与实践]。insbesonere wind der Ansatz verfolt, passass der Programmierer lediglich die Vorwärts-Funktion schreiben muss and dann eine passende Rückwärts-Funktion automatisch synthesisert wind。相关的研究也涉及到以下几个方面：1 .建立一个正式的Aspekte zu Konsistenzgarantien； 2 .建立一个实用主义的Aspekte der Anwendbarkeit和2 . möglichen 2 . ininflses der Intention des Programmierers, 2 .建立一个正式的Konsistenz mehrere Vorwärts-Funktion 2 . inzig dem Gesichtspunkt der formalen Konsistenz mehrere Rückwärts-Funktionen möglich wären。