Transforming Stream Processing Functions into State Transition Machines

Walter Dosch, Annette Stümpel


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.

Original languageEnglish
Title of host publicationSERA 2004: Software Engineering Research and Applications
Number of pages18
Volume3647 LNCS
PublisherSpringer Verlag
Publication date01.12.2005
ISBN (Print)978-354032133-0
ISBN (Electronic)978-3-540-32134-7
Publication statusPublished - 01.12.2005
Event2nd International Conference on Software Engineering Research and Applications - Los Angeles, United States
Duration: 05.05.200507.05.2005
Conference number: 67535


Dive into the research topics of 'Transforming Stream Processing Functions into State Transition Machines'. Together they form a unique fingerprint.

Cite this