@misc{Stadler2012, type = {Master Thesis}, author = {Stadler, Bernhard}, title = {Ein graphbasierter Formalismus zur Programmmanipulation}, doi = {10.15475/opus-198}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus-27128}, school = {Universit{\"a}t Passau}, year = {2012}, abstract = {In dieser Arbeit wird ein Formalismus zur implementierungs-, sprach- und repr{\"a}sentationsunabh{\"a}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{\"a}sentationsunabh{\"a}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{\"a}sentation ausgew{\"a}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{\"u}r die formale Definition von Graphfeatures entwickelt. Diese Graphfeatures kann man auf flexible Weise zu sprach{\"u}bergreifenden graphbasierten Programmrepr{\"a}sentationen kombinieren. Als Anwendungen des Formalismus wurden der Merge und die Featurekomposition beschrieben.}, subject = {Informatik}, language = {de} }