Bridging Technological Spaces: Towards the Combination of Model-Driven Engineering and Ontology Technologies

Die modellgetriebene Softwareentwicklung beabsichtigt die Spezifikation von Softwaresystemen durch Modelle zu vereinfachen und die automatisierte Entwicklung zu verbessern. Die Modellierungssprachen und Werkzeuge, die zur Modellierung von Systemen und Anwendungsdomanen herangezogen werden, werden in modellbasierten technologischen Raumen zusammengefasst. Ontologiebasierte technologische Raume enthalten Ontologiesprachen und Technologien zum Entwurf, der Anfrage und dem Schlussfolgern von Wissen. Mit der Verbreitung des semantischen Webs werden Ontologien in der Entwicklung von Software zunehmend eingesetzt. In dieser Arbeit werden zur Kombination von technologischen Raumen Bruckentechnologien vorgestellt. Transformationsbrucken ubersetzen Modelle, Abbildungsbrucken stellen Beziehungen zwischen Modellen verschiedener technologischer Raume her und Integrationsbrucken verschmelzen Raume zu neuen allumfassenden technologischen Raumen. API Brucken erschaffen Interoperabilitat zwischen Werkzeugen. Diese Arbeit beschaftigt sich insbesondere mit der Kombination von modellbasierten und ontologiebasierten technologischen Raumen. Nach einem Vergleich zwischen Sprachen und Werkzeugen der einzelnen Raume wird die Integrationsbrucke herangezogen um einen neuen gemeinsamen technologischen Raum zu erstellen, der den hybriden Gebrauch von Sprachen und den interoperablen Einsatz von Werkzeugen ermoglicht. Die Syntax und Semantik von Modellierungssprachen kann mit Hilfe von Ontologiesprachen spezifiziert werden. Die Korrektheit von Modellen wird durch den Einsatz von Ontologietechnologien gewahrleistet. Ontologiebasierte Modellierungssprachen erlauben den Nutzen von Anfrage- und Schlussfolgerungstechnologien. Sie sind daruber hinaus so flexibel um verschiedene Anforderungen von Softwareentwicklern zu erfullen. Domanenspezifische Sprachen unterstutzen neben der Spezifikation von Systemen auch die konzeptionelle Beschreibung von Domanen durch Modelle, die aus moglichen Laufzeitinstanzen und deren Typen bestehen. Integrierte Ontologiesprachen helfen eine formale Semantik fur Domanenmodellierungssprachen zu definieren und Ontologietechnologien ermoglichen das Schlussfolgern uber Typen und Instanzen. Alle Ansatze in dieser Arbeit werden mit Hilfe eines Szenarios, in dem die Konfigurationen fur Familien von Netzwerkgerate modelliert werden, veranschaulicht. Ferner werden die Implementationen aller Bruckentechnologien zur Kombination von technologischen Raumen und alle Werkzeuge fur die ontologiebasierte Entwicklung von Modellierungssprachen illustriert.