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.
Original language | English |
---|---|
Title of host publication | SERA 2004: Software Engineering Research and Applications |
Number of pages | 18 |
Volume | 3647 LNCS |
Publisher | Springer Verlag |
Publication date | 01.12.2005 |
Pages | 1-18 |
ISBN (Print) | 978-354032133-0 |
ISBN (Electronic) | 978-3-540-32134-7 |
DOIs | |
Publication status | Published - 01.12.2005 |
Event | 2nd International Conference on Software Engineering Research and Applications - Los Angeles, United States Duration: 05.05.2005 → 07.05.2005 Conference number: 67535 |