Abstract
We model a memory cell in the setting of stream processing functions from different points of view. The external view describes the input/output behaviour of the component, the transition view captures the stepwise transitions, the state-based view discloses the internal structure, and the trace view records the sequences of events. The different views are systematically derived from the external view following sound transformation rules. The case study exemplifies general methods for the specification and refinement of state-based components in distributed systems.
Original language | English |
---|---|
Title of host publication | Advances in Automation, Multimedia and Video Systems, and Modern Computer Science |
Number of pages | 9 |
Publisher | World Scientific and Engineering Academy and Society |
Publication date | 01.12.2001 |
Pages | 47-55 |
ISBN (Print) | 9608052440 |
Publication status | Published - 01.12.2001 |