TU Darmstadt / ULB / TUprints

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

Königs, Alexander (2008)
Model Integration and Transformation – A Triple Graph Grammar-based QVT Implementation.
Technische Universität
Ph.D. Thesis, Primary publication

[img]
Preview
Dissertation - PDF (Adobe Portable Document Format)
dissertation.pdf
Copyright Information: CC BY-NC-ND 2.5 Generic - Creative Commons, Attribution, NonCommercial, NoDerivs .

Download (1MB) | Preview
Item Type: Ph.D. Thesis
Type of entry: Primary publication
Title: Model Integration and Transformation – A Triple Graph Grammar-based QVT Implementation
Language: English
Referees: Schürr, Prof. Dr. Andy ; Engels, Prof. Dr. Gregor
Date: 26 November 2008
Place of Publication: Darmstadt
Date of oral examination: 31 October 2008
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
URN: urn:nbn:de:tuda-tuprints-11949
Classification DDC: 000 Generalities, computers, information > 004 Computer science
Divisions: 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
Date Deposited: 14 Jan 2009 11:09
Last Modified: 08 Jul 2020 23:14
URI: https://tuprints.ulb.tu-darmstadt.de/id/eprint/1194
PPN: 20812554X
Export:
Actions (login required)
View Item View Item