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

现代的信息系统也是一种以人为本的灵活的世界观。你很清楚。Neben der einfachen and flexiblen Inbetriebnahme bzw. Anpassung von Informations-und Geschäftsdiensten muss ein Höchstmasteran Qualität und Sicherplaggewährleistet韦尔登.在这种情况下，重点关注自适应和上下文敏感的虚拟信息系统的严格开发，以及这种动态的增长。我们期待着与中东地区的环境互动。因此，我们将开发一个自反中间件。该中间件的基本功能是基于UML的工作和实现。这种新的元数据可以指导Verhaltens和der Struktur的演变，其中包括基于脚本的Ansatzes。Weiterhin enthält sie eine Instanz，welche die Konsistenz während der Adaption überwacht.这些自反中间件将提供给一个特定的架构。这种基于图变换和重写的动态重构使特征值的分解暂时地简化了.形式化的Konsistenzprüfung zur Laufzeit basiert auf Transformationmodellen，welche Verhalten und Struktur auf Basis- sowie auf Metaebene adaptieren. Neben einer Machbarkeitsstudie韦尔登die Ergebnisse in einer realen Anwendung（europäisches Verkehrskontrollsystem; UTCS）auf ihre praktische Relevanz hin überprüft.

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.