University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
HOME
TEAM
TEACHING
RESEARCH

Lehrveranstaltung im Wintersemester 2013/2014

Formale Sprachen: Graphtransformation

Master-Basis-Kurs (4 SWS) in Theoretischer Informatik (auch Diplom-Hauptstudium (Kategorie V) oder Bachelor-Studium als Freie Wahl)

(VAK 03-MB-603.01/1, Voraussetzungen: 601.01, 601.02, ECTS: 6, TMG:6)


Die Syntax von Programmier- und Spezifikationssprachen traditioneller Art, die textuell basiert sind, lässt sich erfolgreich mit Hilfe von Chomsky-Grammatiken und insbesondere kontextfreien Grammatiken beschreiben. Für die Syntaxbeschreibung visueller Sprachen, bei denen die wesentlichen Elemente bildhaft und diagrammatisch sind (wie beispielsweise bei der objektorientierten Modellierungssprache UML), fehlt noch eine allgemein anerkannte methodische Grundlage. In der Lehrveranstaltung wird systematisch dargelegt und erarbeitet, dass Graphtransformation, bei der Regeln nicht auf Zeichenketten, sondern Graphen operieren, eine brauchbare und adäquate Basis für die syntaktische und darüber hinaus auch semantische Behandlung visueller Modellierungsmethoden sein kann. Insofern knüpft die Lehrveranstaltung an die aus dem Grundstudium bekannten Elemente formaler Sprachen an. Sie bildet gleichzeitig eine Vertiefung von Algorithmen auf Graphen, die ebenfalls mit Hilfe von Konzepten der Graphtransformation modelliert werden können. Die Teilnahme an dieser Lehrveranstaltung ist allerdings keine unbedingte Voraussetzung, da die erforderlichen Grundlagen nachgeholt werden können. Als drittes Element wird das Thema Parallelität und Nebenläufigkeit behandelt. Es wird schriftliche Materialien geben, die den Stoff der Lehrveranstaltung weitgehend abdecken.

Termine und Orte
  • Mi 16:15 - 17:45 MZH 1460
  • Do 8:30 - 10:00 MZH 1100


Schriftliche Materialien und Übungsblätter sind auf der Stud.IP-Seite der Veranstaltung zu finden.


Mail Address
University of Bremen
Dept. for Math. &
Computer Science

P.O. Box 330 440
28334 Bremen
Germany

Physical Address
Bibliothekstrasse 5
MZH 5130
28359 Bremen

Phone
++49(421)218 64451

Email (Secr.)
Helga Reinermann

helga@tzi.de