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.
Originalsprache | Englisch |
---|---|
Titel | Advances in Automation, Multimedia and Video Systems, and Modern Computer Science |
Seitenumfang | 9 |
Herausgeber (Verlag) | World Scientific and Engineering Academy and Society |
Erscheinungsdatum | 01.12.2001 |
Seiten | 47-55 |
ISBN (Print) | 9608052440 |
Publikationsstatus | Veröffentlicht - 01.12.2001 |