W. Dosch (Germany)
Priority queue, interactive component, communicationstream, external view, transition view, internal view, traceview
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 step wise design of an implementation. The external view char acterizes 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 exter nal view following sound transformation rules. The case study exemplifies general methods for the modelling and refinement of interactive components.
Important Links:
Go Back
