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.

OriginalspracheEnglisch
TitelSERA 2004: Software Engineering Research and Applications
Seitenumfang18
Band3647 LNCS
Herausgeber (Verlag)Springer Verlag
Erscheinungsdatum01.12.2005
Seiten1-18
ISBN (Print)978-354032133-0
ISBN (elektronisch)978-3-540-32134-7
DOIs
PublikationsstatusVeröffentlicht - 01.12.2005
Veranstaltung2nd International Conference on Software Engineering Research and Applications - Los Angeles, USA / Vereinigte Staaten
Dauer: 05.05.200507.05.2005
Konferenznummer: 67535

Fingerprint

Untersuchen Sie die Forschungsthemen von „Transforming Stream Processing Functions into State Transition Machines“. Zusammen bilden sie einen einzigartigen Fingerprint.

Zitieren