Interoperability Analysis of the metamodel frameworks ADOxx and EMF

Abstract

Model Driven Engineering (MDE) ist eines der am häufigsten verwendeten Programmierparadigmen,welches sich mit dem Erstellen und dem Modifizieren von Modellen befasst, was große Flexibilität in der Entwicklung und der Nutzung von Modellartefakten ermöglicht. Zwei bekannte Metamodellierungsframeworks sind ADOxx und das Eclipse Modeling Framework (EMF). Beide dieser Tools beinhalten ein weit gefächertes Repertoire an Metamodellierungstechniken und mächtige Modellumgebungen. Sie sind in vielerlei Hinsicht ident zueinander, besitzen aber auch einige Unterschiedlichkeiten in fundamentalen Implementierungsansätzen und Nutzungsweisen.Bisher existieren diese beiden Plattformen in Isolation voneinander. Es ist nicht möglich die Metamodelle beider Plattformen auszutauschen, das bedeutet es gibt keine Möglichkeit ein Metamodell aus einer Plattform in die andere zu importieren und dort weiterzu verwenden.Solch ein Feature würde es unterschiedlichen Domainexperten und Modellentwicklern ermöglichen, gemeinsam an einem (Meta)modell zu arbeiten, ohne sich dabei auf eine gewisse Plattform beschränken zu müssen.Diese Thesis beantwortet die Frage, ob solch eine Interoperabilität zwischen den beiden Plattformen möglich ist und wie sie implementiert werden kann. Es wird sich zeigen, dass Interoperabilität zwischen den beiden Modellierumgebungen für die meisten Metamodelle tatsächlich möglich ist. Zudem wird sich zeigen, dass der erarbeitete Lösungsansatzsowohl syntaktisch als auch semantisch valide ist, also gültige Metamodelle für die Ziel Plattform erstellt werden können.Dazu werden zuerst die beiden Metamodellierungsplattformen miteinander verglichen und deren Gemeinsamkeiten und Unterschiede ausgearbeitet. Danach wird ein Konzept erstellt,mit dem man eine Brücke erstellen kann, welche Metamodell Dateien von einer Plattform in die andere überführen kann. Diese Brücke wird anschließend implementiert und im letzten Schritt mit Hilfe einer Evaluation auf Basis von unterschiedlichen Metamodellen auf syntaktische Korrektheit und semantische Äquivalenz validiert.

Model-Driven Engineering (MDE) has become a pivotal way to conduct software engineering,focusing on model creation and modification, introducing great flexibility indevelopment and operation. Two major metamodeling platforms used in this contextare ADOxx and the Eclipse Modeling Framework (EMF). Both tools offer a great setof metamodeling techniques and environments. They share a lot of similarities but also have differences in crucial aspects of their implementation and usage.As of now, both these two platforms exist in isolation. It is impossible to use the two platforms interchangeably, i.e., take a metamodel or model from one platform and use it in the other. With this feature enabled, domain experts and model engineers could work on the same (meta)model, independently of their desired choice of tool.This thesis focuses on answering whether and how a transformation procedure can enable interoperability between the two platforms. It will show that interoperability between the two is feasible for most of the given input metamodels and that the proposed solution results are syntactically and semantically valid.This is done by first analyzing the differences and similarities of the two platforms and then creating a concept for a bridge that maps metamodel files from one platform to another. Later, the implementation of the bridges for both directions is performed, and the evaluation results are analyzed in the context of syntactic and semantic equivalence based on various metamodels.