Technical Report

Anleitung zur Spezifikation von mobilen, dynamischen FOCUS-Netzen

Author(s): Ursula Hinkel, Katharina Spies
Year: 1996
Number: TUM-I9639
Editor:
CR Classification: F.1.2, F.3.1, F.3.2, D.2.1
CR General Terms: Languages, Theory
Keywords: Focus, verteilte Systeme, mobile Systeme, dynamische Systeme, Netzwerk, Spezifikation, Modellierung
Abstract: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äst werden die semantische Basis und Leitfäden fvür das Erzeugen und Loöschen von Verbindungskanälen und Komponenten vorgestellt. Anhand eines Batch-Systems mit einfachen funktionalen Eigenschaften wird die Anwendung dieser Leitfäden demonstriert.

Available as compressed Postscript

BibTeX-Entry:

@techreport{ TUM-I9639, author = {Ursula Hinkel and Katharina Spies}, title = {Anleitung zur Spezifikation von mobilen, dynamischen FOCUS-Netzen}, number = {TUM-I9639}, institution = {Technische Univerit\"at M\"unchen}, year = {1996}, url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9639.html}, abstract = {FOCUS ist eine Methodik zur Entwicklung und Spezifikation verteilter Systeme. Mit dem klassischen FOCUS-Ansatz konnten bisher ausschlie\ss{}lich statische Systemstrukturen beschrieben werden. Mit der Theorie der mobilen stromverarbeitenden Funktionen (siehe <A HREF="http\://www4.informatik.tu-muenchen.de/papers/GrosuStoelen_A1996.html"> http\://www4.informatik.tu-muenchen.de/papers/GrosuStoelen_A1996.html</A>) steht nun eine Erweiterung von FOCUS zur Verf\"Ugung, die es erm\"oglicht, 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\"ast werden die semantische Basis und Leitf\"aden fv\"ur das Erzeugen und Lo\"oschen von Verbindungskan\"alen und Komponenten vorgestellt. Anhand eines Batch-Systems mit einfachen funktionalen Eigenschaften wird die Anwendung dieser Leitf\"aden demonstriert. }, CRClassification = {F.1.2, F.3.1, F.3.2, D.2.1}, CRGenTerms = {Languages, Theory} }