Stream-based System Design

Ein Strom modelliert die Geschichte der Kommunikation über einen uni-direktionalen Kanal, d.h. die Sequenz von Nachrichten auf diesem Kanal als einem Teil eines verteilten Systems. Strom-verarbeitende Funktionen, die Eingabe-Ströme auf Ausgabe-Ströme abbilden, modellieren die interaktiven Komponenten eines solchen verteilten Systems. In diesem Umfeld werden Verfeinerungstechniken für den schrittweisen Entwurf von Komponenten entwickelt. Kontakt: Annette Stümpel