Designing an Interactive Stack

WALTER DOSCH

Designing an Interactive Stack

WALTER DOSCH

Institute for Software Engineering and Programming Languages

Abstract

We design an interactive stack in the setting of stream processing functions. The design passes through a series of abstraction levels relating different views of the stack component. The external view describes the component's input/output behaviour, the transition view captures the stepwise transitions, and the state-based view discloses the internal structure. The different descriptions can systematically be derived from the input/output behaviour following sound transformation rules. The case study exemplifies general methods for the specification and refinement of interactive components.

Original language	English
Journal	Transactions on Systems
Volume	2
Issue number	1
Pages (from-to)	296-302
Number of pages	7
ISSN	1109-2777
Publication status	Published - 01.01.2002

UN SDGs

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

SDG 9 Industry, Innovation, and Infrastructure

Cite this

@article{ae5ef6b66a7e41d49495702f643843c3,

title = "Designing an Interactive Stack",

abstract = "We design an interactive stack in the setting of stream processing functions. The design passes through a series of abstraction levels relating different views of the stack component. The external view describes the component's input/output behaviour, the transition view captures the stepwise transitions, and the state-based view discloses the internal structure. The different descriptions can systematically be derived from the input/output behaviour following sound transformation rules. The case study exemplifies general methods for the specification and refinement of interactive components. ",

author = "WALTER DOSCH",

year = "2002",

month = jan,

day = "1",

language = "English",

volume = "2",

pages = "296--302",

journal = "Transactions on Systems",

issn = "1109-2777",

publisher = "World Scientific and Engineering Academy and Society",

number = "1",

}

TY - JOUR

T1 - Designing an Interactive Stack

AU - DOSCH, WALTER

PY - 2002/1/1

Y1 - 2002/1/1

N2 - We design an interactive stack in the setting of stream processing functions. The design passes through a series of abstraction levels relating different views of the stack component. The external view describes the component's input/output behaviour, the transition view captures the stepwise transitions, and the state-based view discloses the internal structure. The different descriptions can systematically be derived from the input/output behaviour following sound transformation rules. The case study exemplifies general methods for the specification and refinement of interactive components.

AB - We design an interactive stack in the setting of stream processing functions. The design passes through a series of abstraction levels relating different views of the stack component. The external view describes the component's input/output behaviour, the transition view captures the stepwise transitions, and the state-based view discloses the internal structure. The different descriptions can systematically be derived from the input/output behaviour following sound transformation rules. The case study exemplifies general methods for the specification and refinement of interactive components.

UR - https://www.researchgate.net/publication/255657839_Designing_an_Interactive_Stack

M3 - Journal articles

SN - 1109-2777

VL - 2

SP - 296

EP - 302

JO - Transactions on Systems

JF - Transactions on Systems

IS - 1

ER -

Designing an Interactive Stack

Abstract

UN SDGs

Other files and links

Fingerprint

Cite this