We present different models of an interactive priority queue in the setting of stream processing functions. The models describe particular abstraction levels relevant for the stepwise design of an implementation. The external view characterizes the input/output behaviour, the transition view captures the single computation steps, the internal view concentrates on the update of the internal state, and the trace view records the sequence of events during a run. The different models are systematically derived from the external view following sound transformation rules. The case study exemplifies general methods for the modelling and refinement of interactive components.
|Number of pages||7|
|Publication status||Published - 01.12.2003|
|Event||Proceedings of the IASTED International Conference on Modelling and Simulation 2003 - Palm Springs, United States|
Duration: 24.02.2003 → 26.02.2003
Conference number: 62479
|Conference||Proceedings of the IASTED International Conference on Modelling and Simulation 2003|
|Period||24.02.03 → 26.02.03|