Reflective and Adaptive Middleware for Software Evolution of Non-stopping Information Systems

每一个现代信息系统都有一个重要的特点，即在用户界面上输入用户界面，在用户界面上输入用户界面，在用户界面上输入用户界面。祖茂堂reagieren。nebender增强和灵活的Inbetriebnahme bzw。信息分析- und Geschäftsdiensten musus ein Höchstmaß and Qualität and Sicherheit gewährleistet werden。动态信息系统是一种自适应和上下文敏感的信息系统，这种动态信息系统是一种动态信息系统。安萨兹先生说：“Interaktion mit der Umwelt im Mittelpunkt”。另外一位是erster Schritt，他是一名自反中间件专家。基础数据库中间件与uml基础数据库集成和实现。基于脚本的分析：基于脚本的分析：基于脚本的分析：基于脚本的分析：基于脚本的分析：基于脚本的分析。Weiterhin enthält sie eine Instanz, welche die Konsistenz während der adaptation <e:1> berwacht。disese自反性中间件（Diese reflexive Middleware）在web上运行domänen-spezifische Architektur erweitert。disese ermöglicht动态重构：基于图形变换和重写的基础重构：基于特征特征的正则化。在此基础上，我们建立了一种新的基础结构，即基础结构和基础结构。nebeneiner machbarkeit的研究werden die Ergebnisse在einer realen Anwendung （europäisches verkehrskoncontrolsystem； UTCS）。

Auch moderne Informationssysteme sind noch weit davon entfernt in unserer schnell-lebigen wettbewerbsorientierten Welt flexibel zu agieren bzw. zu reagieren. Neben der einfachen und flexiblen Inbetriebnahme bzw. Anpassung von Informations- und Geschäftsdiensten muss ein Höchstmaß an Qualität und Sicherheit gewährleistet werden. Um dieses zu erreichen, fokussiert der vorliegende Antrag auf die rigorose Entwicklung von selbstadaptiven und kontext-sensitiven verteilten Informationssystemen, welche sich dynamisch zur Laufzeit weiterentwickeln. Unser Ansatz sieht die Interaktion mit der Umwelt im Mittelpunkt. Als erster Schritt, wird eine reflexive Middleware entwickelt. Die Basisebene dieser Middleware wird UML-basiert entworfen und implementiert. Die darüberliegende Metaebene steuert die Evolution des Verhaltens und der Struktur mittels eines Script-basierten Ansatzes. Weiterhin enthält sie eine Instanz, welche die Konsistenz während der Adaption überwacht. Diese reflexive Middleware wird dann um eine domänen-spezifische Architektur erweitert. Diese ermöglicht dynamische Rekonfiguration auf Basis von Graphtransformation und -rewriting sowie die Spezifikation von Eigenschaften mittels temporaler Logiken. Die formale Konsistenzprüfung zur Laufzeit basiert auf Transformationsmodellen, welche Verhalten und Struktur auf Basis- sowie auf Metaebene adaptieren. Neben einer Machbarkeitsstudie werden die Ergebnisse in einer realen Anwendung (europäisches Verkehrskontrollsystem; UTCS) auf ihre praktische Relevanz hin überprüft.