Abstract
An almost synchronous stream consists of a sequence of proper messages and pauses transmitted over a directed channel. The paper presents the transformational design of a communicating component which coordinates two almost synchronous streams. A proper message on one input channel is forwarded to the corresponding output channel as soon as there arrives a proper message on the other input channel as well. We refine the stream-based input/output behaviour to a state-based implementation exploiting two major transformations. The first transformation refines the component's infinite behaviour to a finite behaviour. The second transformation implements the component's finite behaviour by a state transition machine. The component's internal state is extracted from the input histories using a history abstraction function. Altogether, we explicate a formal method how to refine a specified infinite input/output behaviour of a communicating component by a state transition machine in the setting of almost synchronous streams.
| Original language | English |
|---|---|
| Title of host publication | Third International Conference on Systems (icons 2008) |
| Number of pages | 9 |
| Publisher | IEEE |
| Publication date | 05.09.2008 |
| Pages | 7-15 |
| Article number | 4497089 |
| ISBN (Print) | 978-0-7695-3105-2 |
| DOIs | |
| Publication status | Published - 05.09.2008 |
| Event | 3rd International Conference on Systems - Cancun, Mexico Duration: 13.04.2008 → 18.04.2008 Conference number: 73157 |
