Semantische Suche

In PREEvision können auf Basis eines Metamodells Modelle von E/E-Architekturen erstellt werden. Diese Modelle bestehen aus Millionen von Artefakten und können mehrere tausend Modellstände haben. Beim Wechsel zur nächst neueren PREEvision-Version kann das Metamodell verändert worden sein, weshalb die erstellten Modelle samt Historie migriert werden müssen, um sie weiter verwenden zu können. Hierfür wird eine Modelltransformation definiert. Bisher wurde diese zuerst auf dem ältesten Modellstand ausgeführt. Für alle weiteren Modellstände wurden nur die Änderungen zum jeweils nächsten Modellstand in Form von Deltas betrachtet, um eine inkrementelle Modelltransformation auf den geänderten Bereichen des Modells auszuführen. Das Modell kann erst bearbeitet werden, wenn die komplette Migration abgeschlossen ist.

Das Migrationskonzept von PREEvision wird in dieser Arbeit dahingehen angepasst, dass zuerst die Modelltransformation auf dem aktuellen Modellstand ausgeführt wird. Danach kann bereits auf diesem migrierten Modellstand weitergearbeitet werden. Die Historie wird migriert, indem eine inkrementelle Modelltransformation mithilfe von Rückwärtsdeltas, die jeweils die Änderungen zum Vorgängermodellstand angeben, ausgeführt wird. Das Metamodell der Deltas und die Implementierung der Migration selbst konnten unverändert übernommen werden. Lediglich die Logik zur Erstellung und Wiederherstellung des dafür verwendeten Backups mussten angepasst werden.

Die Evaluation des Konzept erfolgt mithilfe zweier Testmodelle. Zum einen wurde erfolgreich überprüft, ob unabhängig vom eingesetzten Migrationskonzept das gleiche Modell entsteht. Zum anderen wurden eine Reihe von Anwendungsfällen durchgeführt, die sicherstellen, dass die wichtigsten PREEvision Funktionen auf dem Modell ausgeführt werden können, bevor die Historie vollständig migriert wurde. Für die untersuchten Modelle konnte je nach Modell ein Speedup von 1,17 oder 1,37 für den Wechsel zur nächsten PREEvision-Version erreicht werden. Vor dem Einsatz des Migrationskonzepts sollten jedoch auch für größere Kundenmodelle die Laufzeiten gemessen werden, um eine genauere Vorhersage über die Höhe des Effizienzgewinns treffen zu können.

Die graphische Modelltransformationssprache M²ToS wurde um zwei Sprachkonzepte erweitert, sodass es einfacher ist Objekte dynamisch bei einer Modelltransformation zu Vervielfältigen. Eines der Konzepte kann beeinflussen, wie Objekte bei einer Transformation übertragen werden. Das andere Konzept kann durch eine Nachbereitung des Zielmodells Objekte bei Bedarf duplizieren. Die beiden Spracherweiterung wurden anhand von einem Katalog von Modelltransformationsoperatoren, einigen Praxisbeispielen und durch eine Umfrage zur Benutzbarkeit evaluiert. Dabei hat sich herausgestellt, dass die Sprachkonzepte die Mächtigkeit von M²ToS zwar erhöhen, die Komplexität der Sprache für den Benutzer aber auch erhöht wird.