Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!
21
Wie zerlegt man einen Automaten in 2 kommunizierende Mealy Automaten ?
* Warum das Ganze ?
o ?? Die Kommunikation zwischen Client<- ->Server lässt sich per Protokoll-Spezifikationsgraph beschreiben (abgeleitet durch Interaktionsdiagramme aller Anwendungsfälle)
o Daraus kann ein gesamter Mealy-Automat konstruiert werden
+ Transfer in Baumdarstellung möglich (alle Anwendungsfälle (Lauf durch den Graph, ohne Schleifen) werden in eine Baumdarstellung überführt ("Abwickeln" des Graphs hin zu einem Baum mit Zweigen))
o Der Gesamtautomat/Baum kann durch 2 kommunizierende Mealy-Automaten ersetzt werden.
+ (Gegenseitig ergänzende (alternierende Reihenfolge/abwechselnde) Automaten, Bei Zuständen 0,1,2,3,4,5 Hat z.B. M1=[0,2] und M2[0',1,3,4,5] (0' als neu eingeführter Startzustand), somit wechseln sich die Sprecher nach jeder Aktion ab M1- ->M2- ->M1 usw.
* Definition Melay-Automat:
o Determinitischer Zustandsautomat (EingabeX in ZustandY ergibt genau ein Ergebnis)
o Ausgabe hängt immer von Zustand und Eingabe ab (bei Moore ist es nur der Zustand)
o ?? Die Kommunikation zwischen Client<- ->Server lässt sich per Protokoll-Spezifikationsgraph beschreiben (abgeleitet durch Interaktionsdiagramme aller Anwendungsfälle)
o Daraus kann ein gesamter Mealy-Automat konstruiert werden
+ Transfer in Baumdarstellung möglich (alle Anwendungsfälle (Lauf durch den Graph, ohne Schleifen) werden in eine Baumdarstellung überführt ("Abwickeln" des Graphs hin zu einem Baum mit Zweigen))
o Der Gesamtautomat/Baum kann durch 2 kommunizierende Mealy-Automaten ersetzt werden.
+ (Gegenseitig ergänzende (alternierende Reihenfolge/abwechselnde) Automaten, Bei Zuständen 0,1,2,3,4,5 Hat z.B. M1=[0,2] und M2[0',1,3,4,5] (0' als neu eingeführter Startzustand), somit wechseln sich die Sprecher nach jeder Aktion ab M1- ->M2- ->M1 usw.
* Definition Melay-Automat:
o Determinitischer Zustandsautomat (EingabeX in ZustandY ergibt genau ein Ergebnis)
o Ausgabe hängt immer von Zustand und Eingabe ab (bei Moore ist es nur der Zustand)
