Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Es werden für alle Anwendungsfälle Interaktionsdiagramme erstellt. Diese werden zu Protokoll-Spezifikations-Graphen (Einführung von abwechselnden Zuständen, Graph mit Nachrichten an den Übergangen) verarbeitet woraus sich ein Mealy-Automat ergibt der die gesamte Kommunikation repräsentiert. Dieser kann einfach in eine Baumdarstellung umgewandelt werden. Aus einer solchen Darstellungsform ist es wiederum möglich zwei eigenständige, kommunizierende Mealy-Automaten abzuleiten und dann jeden für sich zu implementieren.