Get these flashcards, study & pass exams. For free! Even on iPhone/Android!

Modell einer reaktiven Maschine, bestehend aus kooperierenden reaktiven Komponenten

Komposition aus mehreren synchron kooperierenden Prozessen, reaktive Maschinen die auf Event-Messages reagieren und Action-Messages erzeugen.

Beschreibt die Zustandsmaschine, definiert die States der Zustandsmaschine.

Für jeden Prozess sind mehrere Modes möglich (mind. ein Mode!), die States in den unterschiedlichen Modes sind gleich nur unterschiedliche Transitionen.

Ein Zustand der Statemaschine.

Wechsel von einem State in einen anderen, wird ausgelöst durch einen Puls, eine Event-Message oder eine Message. Kann einen Puls, eine Action-Message oder eine Message auslösen.

Message-Passing ist die asynchrone Kommunikation mittels Messages mit der Systemumgebung (Event-Messages, Action-Messages) oder die Kommunikation zwischen Prozessen von unterschiedlichen Cluster (Messages). Die Übertragung erfolgt immer über Channels.

Sie sind die Schnittstellen zu den Cluster und sorgen für die asynchrone Übertragung der Messages (Message Queue). Es gibt Channel ohne Sender (Source-Channel) und Channel ohne Empfänger (Sink-Channel), welche für die Kommunikation mit der Systemumgebung genutzt werden.

Action Message: Message an einen technischen Prozess
Event Message: Message von einem technischen Prozess

Stimuli der in einem Prozess eine State-Transition auslöst. Der Puls wird immer durch eine Message getriggert.

Synchrone Interaktion zwischen den Prozessen innerhalb eines Clusters zur Übertragung von Pulsen. Das Puls-Cast Net definiert diese Interaktion.

Einzelne State-Transition ausgelöst durch Message oder Puls.

Sequenz von Prozessschritten ausgelöst durch eine Message dann weiter durch Pulse (Run-to-Completion).

Transitionsverzweigung abhängig vom Zustand anderer Prozesse. Es können unterschiedliche Transitionen beim gleichen Puls durchgeführt werden.

Es gibt einen inspizierenden Prozess und einer oder mehrere inspizierte Prozesse. Das Gate definiert eine Boolsche Funktion und entscheided bei der Transitionsverzweigung. Definiert durch das State-Inspection Net.

Definiert welche Mode von einem Prozess aktiv ist, in Abhängigkeit anderer Prozesse im Cluster. Definiert durch das Mode-Control Net.

Der Mode des Slave ist abhängig vom Zustand des Masters. Die Auswahld es Modes ist durch eine Boolsche Funktion definiert.