Formal Design of a Parameterized Synchronization Component for Asynchronous Communication Streams

Author

Dosch, Walter

Author_Institution

Univ. of Lubeck, Lubeck

fYear

2007

fDate

13-16 May 2007

Firstpage

909

Lastpage

916

Abstract

The paper presents the top-down design of a synchronization component refining the communication- oriented input/output behaviour into a state-based implementation. The component constrains the flow of messages on two parallel communication channels to stay within a specified tolerance. The formal derivation uses transformations which are of general importance for the design of interactive components. The differentiation of the stream function localizes the effect of a single input with respect to previous input histories. The history abstraction extracts the component´s state from the input histories. The design safely bridges different views of the synchronization component ranging from the stream based specification to the state based implementation.

Keywords

data communication; telecommunication channels; telecommunication network reliability; asynchronous communication streams; formal design; history abstraction; input histories; input/output behaviour; interactive components; parallel communication channels; parameterized synchronization component; Asynchronous communication; Bridges; Communication channels; Communication system control; Computer interfaces; Computer languages; Hardware; History; Joining processes; Visualization; Synchronization component; communication history; differentiation; history abstraction; state transition machine; stream function; synchronization tolerance;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Systems and Applications, 2007. AICCSA '07. IEEE/ACS International Conference on

Conference_Location

Amman

Print_ISBN

1-4244-1030-4

Electronic_ISBN

1-4244-1031-2

Type

conf

DOI

10.1109/AICCSA.2007.370740

Filename

4231068