next up previous contents
Nächste Seite: Literatur Aufwärts: Regular Types for Active Vorherige Seite: Substitution des Servers   Inhalt

Zusammenfassung und Bewertung

Die Beschreibung des dynamischen Verhaltens von Objekten durch reguläre Typen ermöglicht maschinelle Überprüfungen beim Austausch und der Verknüpfung von Objekten. Bei Verwendung einer Programmiersprache, die reguläre Typen syntaktisch umsetzt, könnte damit während der Entwicklung die Konformität der Protokolle der einzelnen Objekte sichergestellt werden.



Jörg Haeger 2001-04-26