TY - THES A1 - Stadler, Bernhard T1 - Ein graphbasierter Formalismus zur Programmmanipulation T1 - A Graph-Based Formalism for Program Manipulation N2 - 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äsentationen kombinieren. Als Anwendungen des Formalismus wurden der Merge und die Featurekomposition beschrieben. N2 - 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 composition KW - Informatik KW - Software Engineering KW - Kategorientheorie KW - Softwarespezifikation KW - Programmtransformation KW - Formalisierung KW - Mathematische Logik KW - Graphen KW - Algebraische Graphtransformationstheorie KW - Graphvarianten KW - Graphfeatures KW - Sketches KW - Typisierte Graphen mit Containment KW - Algebraic Graph Transformation Theory KW - Graph variants KW - Graph features KW - Sketches KW - Typed Graphs with Containment Y1 - 2013 UR - https://opus4.kobv.de/opus4-uni-passau/frontdoor/index/index/docId/198 UR - https://nbn-resolving.org/urn:nbn:de:bvb:739-opus-27128 ER -