Anleitung zur Spezifikation von mobilen, dynamischen FOCUS-Netzen

FOCUS ist eine Methodik zur Entwicklung und Spezifikation verteilter Systeme. Mit dem klassischen FOCUS-Ansatz konnten bisher ausschließlich statische Systemstrukturen beschrieben werden. Mit der Theorie der mobilen stromverarbeitenden Funktionen (siehe http://www4.informatik.tu-muenchen.de/papers/GrosuStoelen_A1996.html) steht nun eine Erweiterung von FOCUS zur Verfügung, die es ermöglicht, auch dynamische Systemstrukturen zu spezifizieren. Im vorliegenden Papier wird eine Anleitung zur Spezifikation von dynamischen, verteilten Systemen gegeben. Das Papier wendet sich an Leser, die bereits mit den Grundlagen von FOCUS vertraut sind. Zunächst werden die semantische Basis und Leitfäden für das Erzeugen und Löschen von Verbindungskanälen und Komponenten vorgestellt. Anhand eines Batch-Systems mit einfachen funktionalen Eigenschaften wird die Anwendung dieser Leitfäden demonstriert.     «

FOCUS ist eine Methodik zur Entwicklung und Spezifikation verteilter Systeme. Mit dem klassischen FOCUS-Ansatz konnten bisher ausschließlich statische Systemstrukturen beschrieben werden. Mit der Theorie der mobilen stromverarbeitenden Funktionen (siehe http://www4.informatik.tu-muenchen.de/papers/GrosuStoelen_A1996.html) steht nun eine Erweiterung von FOCUS zur Verfügung, die es ermöglicht, auch dynamische Systemstrukturen zu spezifizieren. Im vorliegenden Papier wird eine Anleitung zur Spezifi...     »