Representation, analyses and transformation of component systems for adaptation and optimization

用于适应和优化的组件系统的表示、分析和转换

• 批准号: 5366558
• 负责人: Professor Dr. Gerhard Goos (†)
• 金额: --
• 依托单位: Institut für Programmstrukturen und Datenorganisation (IPD)
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2002
• 资助国家: 德国
• 起止时间: 2001-12-31 至 2005-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5366558?language=en
• 关键词: Representation; analyses; transformation; component; systems

Komponenten sind wiederverwendbare Mengen von Klassen im objektorientierten Sinn, die zusammen einen oder mehrere Dienste erbringen. Die Dienste werden durch Methoden einer ausgezeichneten (Schnittstellen-)Klasse der Komponente definiert. Komponentensysteme sind Mengen von Komponenten, die gegenseitig ihre Dienste verwenden. Komponenten werden räumlich, zeitlich und personell getrennt von ihrer Systemumgebung entworfen. Da ihr Entwurf möglichst allgemeine Umgebungsanforderungen berücksichtigt, enthält er in der Regel überflüssigen Code für jede konkrete Systemumgebung. Optimierungen könnten von eingeschränkten Umgebungen profitieren. Trotzdem sind Komponenten oft nicht auf alle Umgebungsanforderungen eingerichtet, so dass Anpassungen notwendig werden. Unsere Arbeit soll einen Beitrag leisten zur Anpassung und Optimierung in Komponentensystemen. Wir sprechen von Anpassungen, wenn der Entwickler eines Systems die Komponente verändert, um die Passfähigkeit zu garantieren oder neuen Anforderungen zu genügen. Optimierungen nennen wir Änderungen der Komponente, die die Systemeffizienz erhöhen, und die automatisch von Werkzeugen vorgenommen werden können. In beiden Fällen werden Programmtransformationen durchgeführt. Anpassungen und Optimierungen müssen korrekt sein - Optimierungen sogar Verhaltensgleichheit mit der ursprünglichen Komponente zusichern. In jedem Fall benötigen wir Programmanalysen, die Entwickler oder Optimierer befähigen, die Korrektheit der Programmtransformationen nachzuweisen. Diese Analysen betrachten Komponentensysteme und ihr Ausführungsmodell und berechnen Aussagen über alle möglichen Programmläufe, i.a. pessimistische Abschätzungen davon. Aufwand und Speicherbedarf für die Analysen explodieren mit der Genauigkeit der Abschätzung. Man benötigt daher eine Darstellung der Komponentensysteme sowie der Zwischenergebnisse der Analyse, die effizient genug ist, um reale Systeme zu beherrschen. Das gelingt nur, indem man initial eine ungenaue Abschätzung berechnet und darauf aufbauend das System vereinfacht, um sich dann genauere Abschätzungen leisten zu können. Mit der Darstellung der Programme in SSA-Form (engl. Static Single Assignment) kennt die Forschung eine für die Optimierung objektorientierter Programme geeignete Programmrepräsentation; sie ist in einigen Forschungsübersetzern prototypisch implementiert. Offen hingegen ist bislang, wie große Systeme beherrscht werden können, wie unbekannte Komponenten (gegeben durch ihre Schnittstellen) behandelt werden können, wie die Analyseinformation dem Systementwickler verständlich gemacht werden kann und wie auf unterschiedlichen Abstraktionsebenen von Programmrepräsentationen gleichartige Analysen angewendet werden können. Hier sehen die Antragsteller den wissenschaftlichen Fortschritt der geplanten Arbeiten. Praktisches Ziel ist es, eine Bibliothek zur Konstruktion von SSA-Darstellungen von Komponenten und ihrer Umgebung zu entwerfen, um ein Rahmenwerk zur Konstruktion von Analysen auf dieser Zwischendarstellung zu ermöglichen. Da diese Implementierungen sehr aufwendig sind, werden bislang bei vielen theoretischen Arbeiten zu Anpassungen und Optimierungen die Kontrollexperimente gescheut. Ihre Verfügbarkeit hat somit auch Implikationen für die Qualität wissenschaftlicher Arbeiten in diesem Gebiet.

Komponenten的翻译结果：Komponenten的翻译结果：Komponenten的翻译结果：Komponenten的翻译结果：Komponenten的翻译结果：(1)定义性成分的定义。组件组件系统：组件组件系统，组件组件系统，组件组件系统。Komponenten werden räumlich, zeitlich and personell getrent von ihrer systemgebung entworfen。Da ihr Entwurf möglichst allgemeine Umgebungsanforderungen bercksichtigt, enthält er in der Regel <s:1> berfl<e:1>标识码<e:1> r jede konkrete Systemumgebung。Optimierungen könnten von eingeschränktenTrotzdem和Komponenten经常会说：“我不知道，我不知道。”在此基础上，提出了一种基于构件系统的优化设计方法。在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国，在德国。Optimierungen nennen wir Änderungen der Komponente, die die Systemeffizienz erhöhen, and die automatisch von Werkzeugen vorgenome werden können。在北京Fällen werden项目转型项目<e:1>。Anpassungen and Optimierungen m<e:1> ssen korrekt sein - Optimierungen sogar Verhaltensgleichheit mit der urspr<e:1> nglichen Komponente zusichern。在jedem Fall benötigen wir programmanysen， die Entwickler der Optimierer befähigen, die Korrektheit der programtransformationen nachzuweisen。disese Analysen betrachten Komponentensysteme and ihr ausf<s:1> hrungmodel and berechnen Aussagen ber alle möglichen Programmläufe，即悲观论者Abschätzungen davon。与此同时，研究人员还发现了一种特殊的分析方法，即分析方法和方法。Man benötigt daher eine Darstellung der Komponentensysteme sowie der Zwischenergebnisse der Analyse, die efficient genuist, um real Systeme zu beherrschen。Das gelingt nur， indem man initial eine ungenaue Abschätzung berechnet和darauf aufbaue Das System vereache，嗯，这个dann genauere Abschätzungen leisten zu können。麻省理工学院ssa课程-表格（英文）（静态单赋值）kennt die Forschung - eine f<e:1> (r die Optimierung - object - torientiter program geeignete Programmrepräsentation；在本发明中，原型实现器被称为“原型实现器”。经常hingegenist bislang， wie große Systeme beherrscht werden können, wie unbekannte Komponenten (gegeben durch ihre Schnittstellen) behandelt werden können， wie die Analyseinformation dem Systementwickler verständlich gemacht werden kann和wie auf unschiedlichen Abstraktionsebenen von Programmrepräsentationen gleichartige Analysen angewendet werden können。他说：“我是说，我是说，我是说，我是说，我是说，我是说，我是说，我是说，我是说。”参考文献：1 .《科学与技术研究》，《科学与技术研究》，《科学与技术研究》，《科学与技术研究》，《科学与技术研究》，《科学与技术研究》，《科学与技术研究》，《科学与技术研究》，ermöglichen。本文提出了一种新型的优化设计方法，即优化设计理论、优化设计理论、优化设计理论、优化设计理论和优化设计理论。我的verfgbarkeit的意思是，有些人认为Implikationen f<e:1> r die Qualität wissenschaftlicher Arbeiten in diesem Gebiet。