Forschungsthemen
[] Ontologiebasierte Modellsynchronisation
In der Modellgetriebenen Softwareentwicklung (Model-driven Software Development – MDSD) bilden Modelle das zentrale Artefakt bei der Erstellung von Software. Dabei entstehen zwischen der Vielzahl von Modellen komplexe Beziehungen. So können Modellelemente u. A. Kopien voneinander sein oder durch Modelltransformationen abgeleitet werden. Die Sicherstellung der Konsistenz aller an einem Softwareprozess beteiligten Artefakte ist dabei unabdingbar.
Ziel der Arbeit ist es, zu untersuchen, wie Ontologien eingesetzt werden können, um Inkonsistenzen zwischen Modellen durch Synchronisation aufzulösen. Dabei muss zuerst geklärt werden, wie die Konzepte von Modellierungssprachen auf Ontologien übertragen werden können. Danach gilt es zu untersuchen, wie Ontologie-Reasoner eingesetzt werden können, um bei Änderungen an Modellen Synchronisationsmaßnahmen, d.h. Änderungen an abhängigen Modellen abzuleiten.
Der praktische Teil der Arbeit liegt in der Implementierung eines Eclipse Plug-ins, welches die erarbeiteten Konzepte prototypisch umsetzt und basierend dem Eclipse Modeling Framework (EMF) die theoretischen Ergebnisse anhand mehrerer Synchronisationsszenarien validiert. Als Vorlage können hier u. A. existierende ATL Transformationen dienen.
Betreuer: Mirko Seifert