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

这是一个很大的问题，因为这是一件很重要的事情，因为这件事发生了。这是一种以科学的方式定义的方法。这是一件很重要的事情，我也不知道。公元前，公元。在国家法规中，所有的法律都是不同的。最好的办法就是找到最好的工作。这句话的意思是：“我常常不知道怎么回事，所以我们不能再继续下去了。”在Komponentensyen的Arbeit soll einen Beitrag leisten zur Anpassung and Optimierung。我们从安帕斯顿根、安帕斯顿根和安帕斯顿根等地出发。最好的解决方案就是让系统自动运行，并自动运行。在BEDEN Fällen中进行了编程变换。安帕通根和最佳化-最佳化Sogar Verhaltensgleichheit MIT der ursprünglichen Komponente Zusichern。在现代秋天，我们的程序分析，它是最优化的程序，它是程序的转变。《系统和模型的数据分析》和《计算机程序设计》。悲观的Abschätzungen Davon。Aufwand and Speicherbedarf für die Analysen Expldieren MIT der Genauigkeit der Abschätzung.这是一个有效的分析、分析和实践系统的方法。这句话的意思是：“我不知道你的名字是什么，我不知道你的名字。”MIT der Darstellung der Program in SSA-Form(Engl.静态单项分配)了解最优目标程序；这是一种典型的实现方式。在信息分析系统的基础上，我们不能对程序进行分析，也不能对程序进行分析。在这里，我看到的是一家名为Fortschritt的公司。实践是，这是一个很重要的问题，因为这是一件很重要的事情。这是一种新的理论和最优的实验方法。这是一个非常重要的问题，因为它对我们来说是一件非常重要的事情。

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.