Eingang zum Volltext in OPUS

Home | Suche | Browsen

Lizenz

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:517-opus-45219
URL: http://opus.kobv.de/ubp/volltexte/2010/4521/


Giese, Holger ; Hildebrandt, Stephan ; Lambers, Leen

Toward bridging the gap between formal semantics and implementation of triple graph grammars

pdf-Format:
Dokument 1.pdf (808 KB) (SHA-1:9988c4bbc8aba66ece7614b28568876c641a4392)


Kurzfassung in Englisch

The correctness of model transformations is a crucial element for the model-driven engineering of high quality software. A prerequisite to verify model transformations at the level of the model transformation specification is that an unambiguous formal semantics exists and that the employed implementation of the model transformation language adheres to this semantics. However, for existing relational model transformation approaches it is usually not really clear under which constraints particular implementations are really conform to the formal semantics. In this paper, we will bridge this gap for the formal semantics of triple graph grammars (TGG) and an existing efficient implementation. Whereas the formal semantics assumes backtracking and ignores non-determinism, practical implementations do not support backtracking, require rule sets that ensure determinism, and include further optimizations. Therefore, we capture how the considered TGG implementation realizes the transformation by means of operational rules, define required criteria and show conformance to the formal semantics if these criteria are fulfilled. We further outline how static analysis can be employed to guarantee these criteria.

RVK - Regensburger Verbundklassifikation: ST 230
Institut: Hasso-Plattner-Institut für Softwaresystemtechnik GMBH
DDC-Sachgruppe: Informatik
Dokumentart: b Monographie
Schriftenreihe: Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam, ISSN 2191-1665
Bandnummer: 37
Sprache: Englisch
Erstellungsjahr: 2010
Publikationsdatum: 26.08.2010
Bemerkung:
In Printform erschienen im Universitätsverlag Potsdam:

Giese, Holger: Toward bridging the gap between formal semantics and implementation of triple graph grammars / Holger Giese, Stephan Hildebrandt, Leen Lambers. - Potsdam : Universitätsverlag Potsdam, 2010. - 26 S.
(Technische Berichte des Hasso-Plattner-Instituts für Softwaresystemtechnik an der Universität Potsdam ; 37)
ISSN 1613-5652
ISBN 978-3-86956-078-6
--> bestellen
Lizenz: Diese Nutzungsbedingung gilt nicht, wenn in den Metadaten eine modifizierende Lizenz genannt ist. Keine Nutzungslizenz vergeben - es gilt das deutsche Urheberrecht


Home | Leitlinien | Impressum | Haftungsausschluss | Statistik | Universitätsverlag | Universitätsbibliothek
Ihr Kontakt für Fragen und Anregungen:
Universitätsbibliothek Potsdam
powered by OPUS  Hosted by KOBV  Open
Archives Initiative  DINI Zertifikat 2007  OA Netzwerk