Coordinating Almost Synchronous Communication Streams

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 languageEnglish
Title of host publication Third International Conference on Systems (icons 2008)
Number of pages9
PublisherIEEE
Publication date05.09.2008
Pages 7-15
Article number4497089
ISBN (Print)978-0-7695-3105-2
DOIs
Publication statusPublished - 05.09.2008
Event3rd International Conference on Systems - Cancun, Mexico
Duration: 13.04.200818.04.2008
Conference number: 73157

Fingerprint

Dive into the research topics of 'Coordinating Almost Synchronous Communication Streams'. Together they form a unique fingerprint.

Cite this