Eine Methode zur Beschreibung von Kommunikationsprotokollen

Zusammenfassung

In dem vorgestellten Spezifikationskonzept wird ein DFÜ-System als ein System von Prozessen betrachtet, die mit Hilfe von Botschaften untereinander kommunizieren. Die Botschaften entsprechen dabei den einzelnen Dienstprimitiven. Die einzelnen Instanzen bestehen aus ein oder mehreren Prozessen. Die Prozesse einer Instanz kommunizieren mit den Prozessen ihrer Partnerinstanzen mit Hilfe des unterlagerten Dienstes. Die Eigenschaften dieses Dienstes werden ebenfalls durch Prozesse modelliert.

Die einzelnen Prozesse werden mit Hilfe eines erweiterten Zustahdsmodells beschrieben. Die Reihenfolge in der die einzelnen Botschaften gesendet oder empfangen werden, wird graphisch mit Hilfe eines Übergangsdiagramms dargestellt. Die Bedeutung der einzelnen Nachrichten wird mit Hilfe von Punktionen beschrieben. Beim sendenden Prozeß wird damit definiert, was dieser Prozeß beim Senden einer Nachricht meint und beim Empfänger wird damit festgelegt, wie er die Nachricht versteht. Diese Funktionen können mit Techniken spezifiziert werden, wie sie in der sequentiellen Programmierung üblich sind.

Abstract

We describe a method for specifying data communication systems as a system of processes which communicate with each other via messages. The messages represent service primitives of various types. The individual entities consist of one or more processes. The processes belonging to a single entity communicate with each other using the services of the next lower level. The properties of these lower level services which are significant for the next higher level are also specified by processes. The individual prozcesses are described using an extended state transition diagram. The sequence in which the messages are sent or received is specified using a state transition diagram. The meaning of the messages is defined by functions, which define the meaning of the message for the sending process, and how it is to be processed by the receiving process. These functions can be specified as sequential programs.