• search hit 5 of 10
Back to Result List

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.show moreshow less
  • 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 compositionshow moreshow less

Download full text files

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
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):License LogoStandardbedingung laut Einverständniserklärung