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.

Auch wenn Architekturanalysen Verletzungen von Sicherheitsspezifikationen früh auf- decken können, schließt ein vermeintlich sicherer Entwurf nicht aus, dass zusätzliche Schwachstellen erst durch die Implementierung in das System gelangen. Daher gibt es Kopplungsansätze, die aus Quelltextanalysen gewonnene Implementierungsdetails in die Architekturanalyse einbinden. So werden Schwachstellen aufgedeckt, die ohne Kopplung unentdeckt bleiben.

Bisherige Kopplungsansätze führen die Quelltextanalyse jedoch nur einmalig durch und projizieren alle Ergebnisse auf einmal zurück in die Architektursicht. Hierbei gab es Indikatoren, dass es in einigen Anwendungsszenarien durch die einmalige Ausführung zu Genauigkeits-, Performanz-, und Skalierbarkeitsproblemen kommt.

Diese Masterarbeit adressiert die Probleme mit einem iterativen Ansatz, der die Informationen für die Quelltextanalyse partitioniert und die Analyse damit mehrfach ausführt. Da die Genauigkeit für manche Sicherheitsbegriffe außerdem von der Zusammenführung der Implementierungsdetails abhängt, kann die Architekturanalyse im iterativen Ansatz auch mehrfach auf einzelnen dieser Details ausgeführt werden.

Der iterative Ansatz wurde fallstudienbasiert evaluiert, um die Auswirkung auf Genauigkeit, Performanz und Skalierbarkeit im Vergleich zum nicht-iterativen Ansatz zu überprüfen. Im Bereich der Genauigkeit hat sich die Sensitivität gefundener Verletzungen in der Architektur erhöht, z. B. in Verbindung mit der Quelltextanalyse JOANA von 0,3 auf 0,95. Mit der steigenden Anzahl an Analysedurchführungen im iterativen Ansatz verlängert sich die Ausführungszeit, was die Performanz vermindert. Jedoch erlaubt der iterative gegenüber dem nicht-iterativen Ansatz größere Eingaben, wie sich in der Skalierbarkeitsevaluation gezeigt hat.

technologische Umgebung. Die Gründe für eine Migration sind vielfältig. Häufig sind es veraltete Softwaresysteme, sogenannte Altsysteme, die zu einer Migration führen. Wie auch in der Softwareentwicklung sind die Bemühungen in der Softwaremigration nach Prozesse und Verfahren, die die Ausführung vereinfachen sollen, hoch. So existieren bereits etliche bewährte Prozesse und Verfahren zur Migration von Softwaresystemen. Doch diese sind nicht für alle Arten von Softwaresystemen geeignet. Ein Beispiel stellen Microsoft Access Anwendungen dar, für die geeignete Prozesse und Verfahren bislang fehlen. In dieser Arbeit wird ein Migrationsverfahren entworfen, das sich speziell für die Migration von Microsoft Access Anwendungen eignet. Hierfür wird das entworfene Migrationsverfahren auf eine in der Industrie bestehenden Microsoft Access Anwendung angewandt, und mit dessen Erfolg gezeigt, dass das Migrationsverfahren tatsächlich für die Migration von Microsoft Access Anwendungen geeignet ist.