Modellierung von Systemen, Einführung in Graphtransformationssysteme, sequentielle und parallele Unabhängigkeit, Terminierung und Konfluenz.

Fachkompetenzen
Die Studierenden:

• benennen die Grundlagen der Graphtransformationssysteme und Graphprogramme
• beschreiben Graphtransformationssysteme und Graphprogramme
• definieren die Berechnungsvollständigkeit von Graphprogrammen
• modellieren Systeme und Systemveränderungen
• beweisen die sequentielle und parallele Unabhängigkeit von Ableitungen
• beweisen die Terminierung und Konfluenz von Graphtransformationssystemen

Methodenkompetenzen
Die Studierenden:

• erkennen Graphtransformationssysteme als ein vielseitiges Hilfsmittel zur Modellierung in der Informatik

Sozialkompetenzen
Die Studierenden:

• arbeiten in kleinen Gruppen an Lösungen von Aufgaben
• präsentieren Lösungen von Aufgaben vor Gruppen

Selbstkompetenzen
Die Studierenden:

• erlernen Ausdauer bei der Bearbeitung schwieriger Aufgaben
• erlernen Präzision beim Aufschreiben von Lösungen 

Graphen werden in praktisch allen Bereichen der Informatik benutzt, um komplexe Strukturen darzustellen. Einige Beispiele hierfür sind Flussdiagramme, Schaltbilder, Record-Strukturen, Syntaxbäume sowie funktionale und logische Ausdrücke. Derartige Strukturen lassen sich durch Graphtransformationssysteme dynamisch verändern, indem Ersetzungsregeln schrittweise auf die aktuelle Struktur angewendet werden. Die Veranstaltung führt in das Thema Graphtransformationssysteme ein und behandelt Umkehrbarkeit, Einbettbarkeit und Restriktion von Ableitungen, sequentielle und parallele Unabhängigkeit, Terminierung und Konfluenz.

Am Ende des Semesters

Klausur oder mündliche Prüfung