Designing an Interactive Stack

WALTER DOSCH

Abstract

We design an interactive stack in the setting of stream processing functions. The design passes through a series of abstraction levels relating different views of the stack component. The external view describes the component's input/output behaviour, the transition view captures the stepwise transitions, and the state-based view discloses the internal structure. The different descriptions can systematically be derived from the input/output behaviour following sound transformation rules. The case study exemplifies general methods for the specification and refinement of interactive components.
OriginalspracheEnglisch
ZeitschriftTransactions on Systems
Jahrgang2
Ausgabenummer1
Seiten (von - bis)296-302
Seitenumfang7
ISSN1109-2777
PublikationsstatusVeröffentlicht - 01.01.2002

Fingerprint

Untersuchen Sie die Forschungsthemen von „Designing an Interactive Stack“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren