Stream-Based Modelling of an Interactive Priority Queue

Walter Dosch

Stream-Based Modelling of an Interactive Priority Queue

Walter Dosch

Institute for Software Engineering and Programming Languages

Abstract

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.

Original language	English
Pages	559-565
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

Conference	Proceedings of the IASTED International Conference on Modelling and Simulation 2003
Country/Territory	United States
City	Palm Springs
Period	24.02.03 → 26.02.03

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Cite this

@conference{d77c9e8c99fd4c95b93e83a376715158,

title = "Stream-Based Modelling of an Interactive Priority Queue",

abstract = "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.",

author = "Walter Dosch",

year = "2003",

month = dec,

day = "1",

language = "English",

pages = "559--565",

note = "Proceedings of the IASTED International Conference on Modelling and Simulation 2003 ; Conference date: 24-02-2003 Through 26-02-2003",

}

TY - CONF

T1 - Stream-Based Modelling of an Interactive Priority Queue

AU - Dosch, Walter

N1 - Conference code: 62479

PY - 2003/12/1

Y1 - 2003/12/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/1542538982

UR - https://www.researchgate.net/publication/221403977_Stream-Based_Modelling_of_an_Interactive_Priority_Queue

M3 - Conference Papers

SP - 559

EP - 565

T2 - Proceedings of the IASTED International Conference on Modelling and Simulation 2003

Y2 - 24 February 2003 through 26 February 2003

ER -

Stream-Based Modelling of an Interactive Priority Queue

Abstract

Conference

UN SDGs

Other files and links

Fingerprint

Cite this