Benutzer: Gast  Login
Titel:

Anleitung zur Spezifikation von mobilen, dynamischen FOCUS-Netzen

Dokumenttyp:
Technical Report
Autor(en):
Ursula Hinkel; Katharina Spies
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 Spezifi...     »
Stichworte:
Focus; verteilte Systeme; mobile Systeme; dynamische Systeme; Netzwerk; Spezifikation; Modellierung
Jahr:
1996
Jahr / Monat:
1996-11-01 00:00:00
Seiten/Umfang:
52
 BibTeX