Die Spezifikation des Multicast-Transportdienstes METRO

In diesem Beitrag wird die formale Spezifikation des Transportdienstes METRO (Multi Endpoint with Reliable Operation) vorgestellt. Der METRO-Transportdienst wurde für Parallelprogramme entwickelt, die auf in Workstation-Clustern verteilten, kooperierenden Prozessen beruhen. Wichtige Merkmale sind dabei dezentralisierte Multicast-Verbindungen ohne spezielle Management-Stationen sowie eine zuverlässige Übertragung der Daten an alle Mitglieder einer Gruppe. Auf Grund der Komplexität eines Multicast-Dienstes wurde der METRO-Dienst mit SDL formal spezifiziert, wobei sich das Fehlen einer Multicast-Übertragungsmöglichkeit für SDL-Signale zeigte. Der Beitrag schlägt deshalb zwei Erweiterungen zu SDL vor, mit denen eine in der Realität vorliegende Gruppenübertragung auch in SDL als solche spezifiziert werden kann.