next up previous contents
Nächste Seite: Reguläre Typen Aufwärts: Regular Types for Active Vorherige Seite: Einleitung   Inhalt

Verfügbarkeit der Services eines Objektes

Ein Server, der auf eine Anfrage wartet, befindet sich in einem stabilen Zustand. In Abhängigkeit von diesem Zustand ist eine bestimmte Teilmenge der öffentlichen Anfrage-Kanäle des Servers aktiv. Kommt dann eine zulässige Anfrage, kann der Server durch ihre Bearbeitung in einen neuen stabilen Zustand übergehen, wodurch sich auch die Menge der aktiven Kanäle ändern kann. Um die Beschreibung dieser veränderlichen Verfügbarkeit der Services soll es in diesem Abschnitt gehen.



Unterabschnitte

Jörg Haeger 2001-04-26