Static Analysis for Dynamically Evolving Systems

现代软件体系和标准在德国的地位和作用。这是一个动态的工具：AUF Programmebene beruht modner code auf der Dynamischen Erzeugung von Objekten and Dynamischen Methodenaurufen.AUF系统的Weisen通信协议，Rechnernetzwerke和“普适计算”komplex e Eigenschaften auf，die Prozessnügration，Ausführung von Code auf entfernten Rechnern，and Dynamische RekonConfigure Being Beimten。这是一项新的技术和技术体系，也是一项新的技术标准。动态和移动Verhalten wird auf natürliche Art and Weise MIT Hilfe von Graphformations-Regeln Modelliert，Solche System sind ALS Graphations-oder Graphersetzungs-Systeme bekannt.对技术进行分析和验证的统计分析和验证系统，以及中心问题的解决办法。BeispielSweise是在Bereich统计分析和项目的基础上进行的，分析技术是面向对象的面向对象的程序和典型系统的移动卡尔库勒，以及图形转换-系统之间的关系。对于图形变换-系统，这是一项关于图形变换的统计分析--系统2000(国际图形变换会议)。Das Ziel Dieses es Projekts ist es，Statische Analyze auf Dynamische System e，die MIT Hilfe von Graphigations-Regeln Spezifiziert wden，anzuwenden.这是一条新的技术路线，也是一条新的技术路线，它分析了移动设备的性能和动态变化。

Moderne Softwaresysteme müssen heutzutage in der Lage sein, immer höheren Sicherheits- und Zuverlässigkeits-Standards gerecht zu werden. Zur gleichen Zeit werden sie immer dynamischer: Auf Programmebene beruht moderner Code auf der dynamischen Erzeugung von Objekten und dynamischen Methodenaufrufen. Auf Systemebene weisen Kommunikationsprotokolle, Rechnernetzwerke und "Ubiquitous Computing" komplexe Eigenschaften auf, die Prozessnügration, Ausführung von Code auf entfernten Rechnern, und dynamische Rekonfiguration beinhalten. Die Kombination höherer Anforderungen und komplexerer Systeme führt dazu, dass das Einhalten von Standards eine der großen Herausforderungen moderner Softwaretechnologie geworden ist. Dynamisches und mobiles Verhalten wird auf natürliche Art und Weise mit Hilfe von Graphtransformations-Regeln modelliert, solche Systeme sind als Graphtransformations- oder Graphersetzungs-Systeme bekannt. Es gibt allerdings nur wenig Erkenntnisse über Techniken zur statischen Analyse und Verifikation dieser Systeme, jedoch ist allgemein anerkannt, daß die Entwicklung solcher Techniken ein zentrales Problem darstellt. Beispielsweise werden im Bereich statischer Analyse und im Bereich der Prozeßkalküle große Anstrengungen unternommen, um Analysetechniken für objekt-orientierte Programme und Typsysteme für mobile Kalküle, die als Spezialfall von Graphtransformations-Systemen betrachtet werden können, zu entwickeln. Auch im Bereich der Graphtransformations-Systeme wird diese Frage als zentral eingeschätzt, was man daran ablesen kann, daß unser Artikel (BKO2) über die statische Analyse von Graphtransformations-Systemen bei ICGT 2000 (International Conference on Graph Transformation) den Preis der EATCS für die beste theoretische Arbeit gewonnen hat. Das Ziel dieses Projekts ist es, statische Analyseverfahren auf dynamische Systeme, die mit Hilfe von Graphtransformations-Regeln spezifiziert werden, anzuwenden. Des weiteren beabsichtigen wir, geeignete Spezifikationssprachen zu entwickeln und unsere Verfahren konkret für die Analyse mobiler Prozesse und sich dynamisch verändernder Datenstrukturen einzusetzen.