Summary: Fachbereich Informatik
Diplomarbeit
Graphische Spezifikationssprachen:
Der Zusammenhang zwischen
Constraint Diagrams und
Real­Time Symbolic Timing Diagrams
Vorgelegt von: Jochen Hoenicke
Erstpr˜ ufer: Prof. Dr. E.­R. Olderog
Zweitpr˜ ufer: Prof. Dr. W. Damm
Oldenburg, den 14. Juni 1999

Inhaltsverzeichnis
1 Einleitung 4
1.1 Fallstudie Bahn˜ ubergang . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Constraint Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.1 Beispiel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.2 Aktionsdiagramme . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Real­Time Symbolic Timing Diagrams . . . . . . . . . . . . . . . 9
1.3.1 Beispiel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.2 Informelle Semantik . . . . . . . . . . . . . . . . . . . . . 10

Source: Appelrath, Hans-Jürgen - Department für Informatik, Carl von Ossietzky Universität Oldenburg

Collections: Computer Technologies and Information Sciences