Development of correct graph transformation systems [Elektronische Ressource] / vorgelegt von Karl-Heinz Pennemann

Fakultät II – Informatik, Wirtschafts- und RechtswissenschaftenDepartment für InformatikDevelopment of CorrectGraph Transformation SystemsDissertation zur Erlangung des Grades einesDoktors der Naturwissenschaftenvorgelegt vonDipl.-Inform. Karl-Heinz PennemannOldenburg, 18. Mai 2009ii Development of Correct Graph Transformation SystemsPrüfungskommisionVorsitzender: Prof. Dr. Martin-FränzleGutachterin: Prof. Dr. Annegret HabelGutachter: Prof. Dr. Ernst-Rüdiger OlderogGutachter: Prof. Dr. Arend RensinkMitglied: Dr. Sybille FröschleDatum der Disputation: 11. September 2009Development of Correct Graph Transformation Systems iiiAbstractGraph transformation has many application areas in computer science, suchas software engineering or the design of concurrent and distributed systems.Being a visual modeling technique, graph transformation has the potentialto play a decisive role in the development of increasingly larger and complexsystems. However, the use of visual modeling techniques alone does notguarantee the correctness of a design. In context of rising standards fortrustworthy systems, there is a growing need for the verification of graphtransformation systems and programs. The research of appropriate methodsfor this purpose is the topic of this thesis.The primary goal is to obtain the capability to decide graphical programspecifications. These specifications consists of a graphical precondition, agraphprogram, anda graphicalpostcondition.