TU Darmstadt / ULB / tuprints

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.
TU Darmstadt
[Ph.D. Thesis], (2008)

[img]
Preview
Dissertation - PDF (Adobe Portable Document Format)
dissertation.pdf
Available under Creative Commons Attribution Non-commercial No Derivatives.

Download (1911Kb) | Preview
Item Type: Ph.D. Thesis
Title: Model Integration and Transformation – A Triple Graph Grammar-based QVT Implementation
Language: English
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.

Alternative Abstract:
Alternative AbstractLanguage
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.German
Classification DDC: 000 Allgemeines, Informatik, Informationswissenschaft > 004 Informatik
Divisions: Fachbereich Elektrotechnik und Informationstechnik > Echtzeitsysteme
Date Deposited: 14 Jan 2009 11:09
Last Modified: 07 Dec 2012 11:54
URN: urn:nbn:de:tuda-tuprints-11949
License: Creative Commons: Attribution-Noncommercial-No Derivative Works 3.0
Referees: Schürr, Prof. Dr. Andy and Engels, Prof. Dr. Gregor
Refereed: 31 October 2008
URI: http://tuprints.ulb.tu-darmstadt.de/id/eprint/1194
Export:

Actions (login required)

View Item View Item