User: Guest  Login
Document type:
Technical Report 
Author(s):
Ursula Hinkel; Katharina Spies 
Title:
Anleitung zur Spezifikation von mobilen, dynamischen FOCUS-Netzen 
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...    »
 
Keywords:
Focus; verteilte Systeme; mobile Systeme; dynamische Systeme; Netzwerk; Spezifikation; Modellierung 
Year:
1996 
Year / month:
1996-11-01 00:00:00 
Pages:
52