Analyse von Ablaufdiagrammen

Präsentation zum Thema: "Analyse von Ablaufdiagrammen"—  Präsentation transkript:

1 Analyse von Ablaufdiagrammen

2 Ziele: Sie können ein Ablaufdiagramm in einer Tabellenform darstellen
Sie können die Lebendigkeit eines Graphen erklären Sie können die Ursache der Fehlermeldung ‚Ihr Graph ist überdeckbar‘ erklären und das Ablaufdiagramm korrigieren.

3 Analyse von Ablaufdiagrammen
Formalisierung in Tabelle Komponenten Konflikte Lebendigkeit Dead-Lock Sicherheit und Ueberdeckbarkeit

4 Beispiel: Alarmierung mit Selbsthaltung

5 Formalisierung Schritte numerieren Transitionen numerieren
Tabelle erstellen mit Schritte als Zeilen und Transitionen als Spalten

6 Tabelle ausfüllen Für jede Transition angeben, um wieviel sich die Anzahl Markierungen in den Schritten ändert, wenn Transition schaltet. Zahl in der entsprechenden Zeile eintragen.

7

8 Komponenten Wieviele Marken in einem Ablaufdiagramm?
Können Ablaufdiagramme aufgeteilt werden? Was ist der Zustand eines Ablaufdiagramms?

9 Zustand eines Ablaufdiagramms:
Muster der Markierungen Zustandsbezeichnung? Zustandsbezeichnung?

10 Ein Ablaufdiagramm mit immer nur einer Markierung ist ein Zustandsautomat
Einzige Markierung gibt den Zustand des Systems an Zustandsnamen = Schrittnamen

11 Aufteilung eines Ablaufdiagramms in Komponenten (Zustandsautomaten)

12 Eigenschaften von Komponenten:

13 Wieso Aufteilung in Komponenten
Erstellung von Objekten/Modulen Oft in anderen Einheiten realisiert: Steuerung (Verriegelung) Leitgerät (Alarmierung)

14 Rückwärtskonflikt

15 Beispiel

16 Lösung des Konflikts

17 Vorwärtskonflikt

18 Lebendigkeit Eine beliebige, sinnvolle Anfangsmarkierung kann nach Schalten aller Transitionen (mindestens 1 mal) wieder erreicht werden.

19 Beispiel

20 Dead-Lock: Ablauf bleibt stehen und kann nicht mehr weiter gehen

21 Beispiel:

22 Beschränktheit und Sicherheit
maximale Anzahl Markierungen pro Schritt ist beschränkt Sicher: maximale Anzahl Markierungen pro Schritt ist gleich 1 Wieso wesentlich?

23 Ueberdeckbarkeit Weil: Ueberdeckt Markierungen verschieden
Jeder markierte Schritt rechts ist auch links markiert

24 Korrektur:

25 Ueberdeckbarkeit und Sicherheit
Ein Ablaufdiagramm ist sicher, wenn es ausgehend von einer sinnvollen Startmarkierung keine sich überdeckenden Markierungen gibt

26 Untersuchung im Erreichbarkeitsgraphen

27 Andere Ablaufdarstellungen
Petri-Netz Zustandsautomat

28 Petri-Netz

29 Mealy-Automat

30 Moore-Automat

31 Flow-Chart

32 Flowchart-Programmierung

33 Das beste Engineeringtool?
Assembler C C++ IEC Flowchart Labview

34 Kriterien: Intuitiv selbstdokumentierend effizient zu programmieren
effizient zu warten effizient in der Ausführung

35 Lösung von Steeplechase: Flowchart

36 Flowchart-Elemente: Verzweigung

37 Flowchart-Elemente: kontinuierliche Durchführung einer Aktion

38 Flowchart-Elemente: parallele Aktionen:

39 Flowchart-Elemente: spezielle Aktionen
Diagnostische Verzweigungen spezielle Funktionen mit Input/Output an der Stelle des Aufrufs

40 Vergleich

41 Anwendung Informatik: verteilte Systeme Kommunikationstechnik