Ein graphbasierter Formalismus zur Programmmanipulation
A Graph-Based Formalism for Program Manipulation
- In dieser Arbeit wird ein Formalismus zur implementierungs-, sprach- und repräsentationsunabhängigen Beschreibung von Programmmanipulationen wie beispielsweise Merge, Featurekomposition und Interaktionsanalyse entwickelt. Dieser soll insbesondere der anwendungsnahen und wiederverwendbaren Definition von Programmanipulationen dienen. Programmmanipulationen werden auf repräsentationsunabhängige, deklarative Art mit Mitteln der Kategorientheorie beschrieben. Auf Grundlage einer Analyse des Text-To-Model-Frameworks EMFText werden Graphvarianten aus der algebraischen Graphtransformationstheorie zur Programmrepräsentation ausgewählt. Diese Graphvarianten werden anhand ihrer charakteristischen Merkmale in Graphfeatures aufgespalten. Auf Grundlage von Sketches, einer graphbasierten und kategorientheoretischen Art der algebraischen Spezifikation, wird eine Vorgehensweise für die formale Definition von Graphfeatures entwickelt. Diese Graphfeatures kann man auf flexible Weise zu sprachübergreifenden graphbasierten ProgrammrepräsentationenIn dieser Arbeit wird ein Formalismus zur implementierungs-, sprach- und repräsentationsunabhängigen Beschreibung von Programmmanipulationen wie beispielsweise Merge, Featurekomposition und Interaktionsanalyse entwickelt. Dieser soll insbesondere der anwendungsnahen und wiederverwendbaren Definition von Programmanipulationen dienen. Programmmanipulationen werden auf repräsentationsunabhängige, deklarative Art mit Mitteln der Kategorientheorie beschrieben. Auf Grundlage einer Analyse des Text-To-Model-Frameworks EMFText werden Graphvarianten aus der algebraischen Graphtransformationstheorie zur Programmrepräsentation ausgewählt. Diese Graphvarianten werden anhand ihrer charakteristischen Merkmale in Graphfeatures aufgespalten. Auf Grundlage von Sketches, einer graphbasierten und kategorientheoretischen Art der algebraischen Spezifikation, wird eine Vorgehensweise für die formale Definition von Graphfeatures entwickelt. Diese Graphfeatures kann man auf flexible Weise zu sprachübergreifenden graphbasierten Programmrepräsentationen kombinieren. Als Anwendungen des Formalismus wurden der Merge und die Featurekomposition beschrieben.…
- This work develops a formalism for the implementation-, language- and representation-independent description of program manipulations like, e.g., merge, feature composition and interaction analysis. This is meant to serve especially the application-directed and reusable definition of program manipulations. Program manipulations are being described by means of category theory declaratively and independently of the representation. Based on an analysis of the text-to-model framework EMFText, graph variants from algebraic graph transformation theory are being chosen for program representation. These graph variants are split up into graph features representing their individual characteristics. Based on sketches, a graph-based and category-theoretic way of algebraic specification, an approach to the formal definition of graph features is being developed. These graph features can be flexibly combined to language-independent, graph-based program representations. The application of the formalism is demonstrated on merge and feature compositionThis work develops a formalism for the implementation-, language- and representation-independent description of program manipulations like, e.g., merge, feature composition and interaction analysis. This is meant to serve especially the application-directed and reusable definition of program manipulations. Program manipulations are being described by means of category theory declaratively and independently of the representation. Based on an analysis of the text-to-model framework EMFText, graph variants from algebraic graph transformation theory are being chosen for program representation. These graph variants are split up into graph features representing their individual characteristics. Based on sketches, a graph-based and category-theoretic way of algebraic specification, an approach to the formal definition of graph features is being developed. These graph features can be flexibly combined to language-independent, graph-based program representations. The application of the formalism is demonstrated on merge and feature composition…
Author: | Bernhard StadlerORCiD |
---|---|
URN: | urn:nbn:de:bvb:739-opus-27128 |
DOI: | https://doi.org/10.15475/opus-198 |
Document Type: | Master's Thesis |
Language: | German |
Year of Completion: | 2012 |
Date of Publication (online): | 2013/11/06 |
Publishing Institution: | Universität Passau |
Granting Institution: | Universität Passau, Fakultät für Informatik und Mathematik |
Release Date: | 2013/11/06 |
Tag: | Algebraische Graphtransformationstheorie; Graphfeatures; Graphvarianten; Sketches; Typisierte Graphen mit Containment Algebraic Graph Transformation Theory; Graph features; Graph variants; Sketches; Typed Graphs with Containment |
GND Keyword: | Informatik; Software Engineering; Kategorientheorie; Softwarespezifikation; Programmtransformation; Formalisierung; Mathematische Logik; Graphen |
Source: | http://www.infosun.fim.uni-passau.de/spl/theses/BernhardStadlerMA.pdf |
Institutes: | Fakultät für Informatik und Mathematik / Sonstiger Autor der Fakultät für Informatik und Mathematik |
Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
open_access (DINI-Set): | open_access |
Licence (German): | Standardbedingung laut Einverständniserklärung |