Please enable JavaScript.

Coggle requires JavaScript to display documents.

Statecharts (Aufbau nebenläufiger Systeme (Gesamtsystem besteht aus…

- - - - Konstrukte
        
        Und-Zustand (AND)
        
        Und-Zustand (AND)
        
        Parallele Ausführung der Teilautomaten
        
        Trennung im Diagramm durch gestrichelte Linien
        
        Jeder Teilautomat wird in seinem Anfangszustand gestartet
        
        Teilen eines Oberzustands in Teilautomaten.
        
        Hierarchie und Verfeinerung
        
        Oberzustand aktiv gdw. einer der Unterzustände aktiv
        
        Höchstens ein Unterzustand aktiv
        
        Dargestellt durch Schachtelung
        
        Broadcast
        
        Das Auslösen eines Ereignisses stellt Broadcast an alle Teilautomaten dar. Ereignisse können zur Synchronisation verwendet werden.
        
        Zusammenführung
        
        Mehrere Übergänge, ausgehend von verschiedenen Teilautomate eines Und-Zustands führen auf gemeinsamen Nachfolgerzustand.
        
        Voraussetzung: Alle Ereignisse und Bedingungen, die zu diesen Übergängen führen, müssen eingetreten sein.
        
        Historie
        
        Errinert letzten Zustand auf oberster Ebene oder auch rekursiv für alle internen Zustände
        
        Timer
        
        Oder Zustand (XOR)
        
        Zusammefassung eines Teils des Automaten zu einem Oberzustand
    - - Synchrone Abarbeitung
        
        In jedem Zeittakt können einer, mehrere oder alle Teilautomaten einen Übergang durchführen
      - Asynchrone Abarbeitung
        
        Kein einheitlicher Takt. Auslösen und Abrufen von Events passiert nicht gleichzeitig. Teilautomaten führen Übergänge unabhängig voneinander durch.
  - - - Ablauf eines diskreten Systems spezifiziert
      - Übergang vom Prozedur zum Prozessbegriff spezifiziert
      - Reihenfolge und evtl. Nebenläufigkeit der Zustandsübergänge spezifiziert
- - - - Lösung mit Semaphore
        
        Zwei mögliche Operationen - belegen und freigeben. Beim Betreten eines kritischen Abschnitts wird belegen und beim Verlassen freigeben aufgerufen.
      - Lösung mit gemeinsamem Speicher