Transforming Stream Processing Functions into State Transition Machines

Walter Dosch; Annette Stümpel

doi:10.1007/11668855_1

Transforming Stream Processing Functions into State Transition Machines

Walter Dosch, Annette Stümpel

Institut für Softwaretechnik und Programmiersprachen

15 Zitate (Scopus)

Abstract

The black-box view of an interactive component in a distributed system concentrates on the input/output behaviour based on communication histories. The glass-box view discloses the component's internal state with inputs effecting an update of the state. The black-box view is modelled by a stream processing function, the glass-box view by a state transition machine. We present a formal method for transforming a stream processing function into a state transition machine with input and output. We introduce states as abstractions of the input history and derive the machine's transition functions using history abstractions. The state refinement is illustrated with three applications, viz. an iterator component, a scan component, and an interactive stack.

Originalsprache	Englisch
Titel	SERA 2004: Software Engineering Research and Applications
Seitenumfang	18
Band	3647 LNCS
Herausgeber (Verlag)	Springer Verlag
Erscheinungsdatum	01.12.2005
Seiten	1-18
ISBN (Print)	978-354032133-0
ISBN (elektronisch)	978-3-540-32134-7
DOIs	https://doi.org/10.1007/11668855_1
Publikationsstatus	Veröffentlicht - 01.12.2005
Veranstaltung	2nd International Conference on Software Engineering Research and Applications - Los Angeles, USA / Vereinigte Staaten Dauer: 05.05.2005 → 07.05.2005 Konferenznummer: 67535

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

SDG 9 – Industrie, Innovation und Infrastruktur

Dokumente

10.1007/11668855_1

Weitere Links

https://www.scopus.com/pages/publications/33745171081

Zitieren

@inproceedings{e50a5c654cf54338a6f8fe977543cece,

title = "Transforming Stream Processing Functions into State Transition Machines",

abstract = "The black-box view of an interactive component in a distributed system concentrates on the input/output behaviour based on communication histories. The glass-box view discloses the component's internal state with inputs effecting an update of the state. The black-box view is modelled by a stream processing function, the glass-box view by a state transition machine. We present a formal method for transforming a stream processing function into a state transition machine with input and output. We introduce states as abstractions of the input history and derive the machine's transition functions using history abstractions. The state refinement is illustrated with three applications, viz. an iterator component, a scan component, and an interactive stack.",

author = "Walter Dosch and Annette St{\"u}mpel",

year = "2005",

month = dec,

day = "1",

doi = "10.1007/11668855\_1",

language = "English",

isbn = "978-354032133-0",

volume = "3647 LNCS",

series = "Lecture Notes in Computer Science ",

publisher = "Springer Verlag",

pages = "1--18",

booktitle = "SERA 2004: Software Engineering Research and Applications",

note = "2nd International Conference on Software Engineering Research and Applications , SERA 2004 ; Conference date: 05-05-2005 Through 07-05-2005",

}

Dosch, W & Stümpel, A 2005, Transforming Stream Processing Functions into State Transition Machines. in SERA 2004: Software Engineering Research and Applications . Bd. 3647 LNCS, Lecture Notes in Computer Science , Bd. 3647 LNCS, Springer Verlag, S. 1-18, 2nd International Conference on Software Engineering Research and Applications , Los Angeles, California, USA / Vereinigte Staaten, 05.05.05. https://doi.org/10.1007/11668855_1

TY - GEN

T1 - Transforming Stream Processing Functions into State Transition Machines

AU - Dosch, Walter

AU - Stümpel, Annette

N1 - Conference code: 67535

PY - 2005/12/1

Y1 - 2005/12/1

N2 - The black-box view of an interactive component in a distributed system concentrates on the input/output behaviour based on communication histories. The glass-box view discloses the component's internal state with inputs effecting an update of the state. The black-box view is modelled by a stream processing function, the glass-box view by a state transition machine. We present a formal method for transforming a stream processing function into a state transition machine with input and output. We introduce states as abstractions of the input history and derive the machine's transition functions using history abstractions. The state refinement is illustrated with three applications, viz. an iterator component, a scan component, and an interactive stack.

AB - The black-box view of an interactive component in a distributed system concentrates on the input/output behaviour based on communication histories. The glass-box view discloses the component's internal state with inputs effecting an update of the state. The black-box view is modelled by a stream processing function, the glass-box view by a state transition machine. We present a formal method for transforming a stream processing function into a state transition machine with input and output. We introduce states as abstractions of the input history and derive the machine's transition functions using history abstractions. The state refinement is illustrated with three applications, viz. an iterator component, a scan component, and an interactive stack.

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

U2 - 10.1007/11668855_1

DO - 10.1007/11668855_1

M3 - Conference contribution

SN - 978-354032133-0

VL - 3647 LNCS

T3 - Lecture Notes in Computer Science

SP - 1

EP - 18

BT - SERA 2004: Software Engineering Research and Applications

PB - Springer Verlag

T2 - 2nd International Conference on Software Engineering Research and Applications

Y2 - 5 May 2005 through 7 May 2005

ER -

Transforming Stream Processing Functions into State Transition Machines

Abstract

UN SDGs

Dokumente

Weitere Links

Fingerprint

Zitieren