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.
| Original language | English |
|---|---|
| Journal | Transactions on Systems |
| Volume | 2 |
| Issue number | 1 |
| Pages (from-to) | 296-302 |
| Number of pages | 7 |
| ISSN | 1109-2777 |
| Publication status | Published - 01.01.2002 |
