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

在目标方面，克拉森的影响力很大，他们要么是一个人，要么是更多的人。这种韦尔登是通过一种特殊的方法来完成的。组成系统是由组成部分组成的，它们的组成部分是由它们自己决定的。组件韦尔登räumlich，zeitlich和personell getrennt从他们的系统entworfen。Da ihr Entwurf möglichst allgemeine Umgebungsanforderungen berücksichtigt，enthält er in der Regel überflüssigen Code für jede konkrete Systemgebung. Optimierungen könnten von eingeschränkten Umgebungen profitieren.托兹德人往往不把所有的事情都当作一件事来处理，所以他们不会被韦尔登说服。我们的工作是在组件系统中进行预处理和优化。We sprechen von Anpassungen，wenn der Entwickler eines Systems die Komponente verändert，um die Passfähigkeit zu garantieren or der neuen Anforderungen zu genügen.最佳运行将使我们的组件、系统和韦尔登自动化运行更加完善。In beiden Fällen韦尔登Programmtransformationen durchgeführt. Anpassungen und Optimierungen müssen korrekt sein - Optimierungen sogar Verhaltensgleichandmit der ursprünglichen Komponente zusichern. In jedem Fall benötigen wir Programmanalysen，die Entwickler oder Optimierer befähigen，die Korrektheit der Programtransformationen nachzuweisen. Diese Analysen betrachten Komponentensysteme und ihr Ausführungsmodell und berechnen Aussagen über alle möglichen Programmläufe，i.a.悲观主义者。Aufwand und Speicherbedarf für die Analysen explodieren mit der Genauigkeit der Abschätzung.人们希望通过分析的能量转换来建立一个完整的系统，这个有效的系统是一个真正的系统。这只是一个开始，一个不完整的Abschätzung berechnet和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.最后，它是一个很好的系统，它可以被韦尔登所接受，它不需要通过用户韦尔登来处理组件，它可以通过系统编辑器来分析信息，并可以通过韦尔登来对程序描述进行进一步的抽象，从而使韦尔登可以对程序描述进行分析。在这里，我们看到的是一位工人的智慧堡垒。Praktisches Ziel is es，eine Bibliothek zur Konstruktion von SSA-Darstellungen von Komponenten und irrer Umgebung zu entwerfen，um ein Rahmenwerk zur Konstruktion von Analysen auf dieser Zwischendarstellung zu ermöglichen.随着这一实施方案的不断完善，韦尔登可以通过多种理论来进行控制实验的优化和预测。Ihre Verfügbarkeit hat somit auch Implikationen für die Qualität wissenschaftlicher Arbeiten in diesem Gebiet.

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.