TU Darmstadt / ULB / TUbiblio

Model Integration and Transformation – A Triple Graph Grammar-based QVT Implementation

Königs, Alexander :
Model Integration and Transformation – A Triple Graph Grammar-based QVT Implementation.
[Online-Edition: urn:nbn:de:tuda-tuprints-11949]
Technische Universität , Darmstadt
[Dissertation], (2008)

Offizielle URL: urn:nbn:de:tuda-tuprints-11949

Kurzbeschreibung (Abstract)

Nowadays, software and system development projects involve an increasing number of various CASE tools each of which is specialized in certain tasks or phases of the development process. This results in an unrelated distribution of the data of a project as a whole over the different data repositories of the considered tools. The task of manually keeping the data consistent is cumbersome, time consuming, and error prone. Therefore, there is an urgent need for automatic support in data consistency checking and consistency enforcement. OMG’s Query / View / Transformation (QVT) standard provides a model-based language for the specification of consistency checking and consistency enforcement rules. The QVT standard currently is implemented by a number of different groups but suffers from the fact that it lacks a proper formalization up to now. In contrast Triple Graph Grammars (TGGs) provide a declarative language for the specification of consistency checking and consistency enforcement rules based on the formal foundation of graph grammars. However, TGGs lack some concepts provided by the QVT standard which are needed in practice to be applicable. This work transfers TGGs into OMG’s world of metamodeling and extends them by the desired concepts from QVT. The result is an TGG-based implementation of the QVT standard based on the formalism of graph grammars. Furthermore, the presented approach will be supplemented by a framework for automatically checking and enforcing the consistency of distributed data of a considered development project as a whole.

Typ des Eintrags: Dissertation
Erschienen: 2008
Autor(en): Königs, Alexander
Titel: Model Integration and Transformation – A Triple Graph Grammar-based QVT Implementation
Sprache: Englisch
Kurzbeschreibung (Abstract):

Nowadays, software and system development projects involve an increasing number of various CASE tools each of which is specialized in certain tasks or phases of the development process. This results in an unrelated distribution of the data of a project as a whole over the different data repositories of the considered tools. The task of manually keeping the data consistent is cumbersome, time consuming, and error prone. Therefore, there is an urgent need for automatic support in data consistency checking and consistency enforcement. OMG’s Query / View / Transformation (QVT) standard provides a model-based language for the specification of consistency checking and consistency enforcement rules. The QVT standard currently is implemented by a number of different groups but suffers from the fact that it lacks a proper formalization up to now. In contrast Triple Graph Grammars (TGGs) provide a declarative language for the specification of consistency checking and consistency enforcement rules based on the formal foundation of graph grammars. However, TGGs lack some concepts provided by the QVT standard which are needed in practice to be applicable. This work transfers TGGs into OMG’s world of metamodeling and extends them by the desired concepts from QVT. The result is an TGG-based implementation of the QVT standard based on the formalism of graph grammars. Furthermore, the presented approach will be supplemented by a framework for automatically checking and enforcing the consistency of distributed data of a considered development project as a whole.

Ort: Darmstadt
Verlag: Technische Universität
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik
Hinterlegungsdatum: 14 Jan 2009 11:09
Offizielle URL: urn:nbn:de:tuda-tuprints-11949
Gutachter / Prüfer: Schürr, Prof. Dr. Andy ; Engels, Prof. Dr. Gregor
Datum der Begutachtung bzw. der mündlichen Prüfung / Verteidigung / mdl. Prüfung: 31 Oktober 2008
Alternatives oder übersetztes Abstract:
AbstractSprache
In der Software- und Systementwicklung kommen immer häufiger auf bestimmte Aufgaben oder Phasen des Entwicklungsprozess zugeschnittene Werkzeuge zum Einsatz. Daraus resultiert eine lose Verteilung der Projektdaten über voneinander unabhängige Datenspeicher. Die erforderliche Konsistenzhaltung der Daten ist auf manuellem Weg sehr kostenintensiv und fehleranfällig. Deshalb ist eine automatische Unterstützung zur Konsistenzprüfung und Konsistenzwiederherstellung wünschenswert. Der Query / View / Transformation (QVT) Standard der OMG definiert eine modellbasierte Sprache zur Spezifikation von Regeln zur angestrebten Prüfung und Wiederherstellung der Konsistenz von Daten. Derzeit arbeiten zahlreiche Gruppen an Implementierungen dieses Standards, dem es aber bis heute an einer formalen Grundlage fehlt. Tripel-Graph-Grammatiken (TGGen) hingegen bieten eine deklarative Sprache zur Spezifikation von Konsistenzprüfungs- und Konsistenzwiederherstellungsregeln auf der formalen Grundlage von Graphgrammatiken. TGGen fehlt es allerdings an wichtigen in der Praxis benötigten Konzepten, die der QVT-Standard bietet. Diese Arbeit überträgt den Ansatz der TGGen auf die Metamodellierungswelt der OMG und erweitert ihn um fehlende Konzepte des QVT-Standards. Ziel ist eine eigene Implementierung des QVT-Standards, deren Semantik sich auf den bestehenden Formalismus der Graphgrammatiken stützt, angewandt von einem Rahmenwerk zur automatischen Unterstützung zur Konsistenzhaltung und Konsistenzwiederherstellung von über voneinander unabängigen Datenspeichern verteilten Projektdaten.Deutsch
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen