Stream-Based Design of an Asynchronous Send-Receive Protocol

Abstract

The paper studies the top-down design of an asynchronous send-receive protocol refining the communication-oriented input/output behaviour into a state-based implementation of the sender and the receiver. The design exploits three important transformations. An architectural refinement decomposes the protocol function into a sender and receiver component introducing a feedback channel. The differentiation localizes the effect of single inputs wrt. a previous input history. The history abstraction extracts the component's control state and data state from the input history.

Original languageEnglish
Pages868-874
Number of pages7
Publication statusPublished - 01.12.2004
EventProceedings of the International Conference on Software Engineering Research and Practice 2004 - Las Vegas, United States
Duration: 21.06.200424.06.2004
Conference number: 64209

Conference

ConferenceProceedings of the International Conference on Software Engineering Research and Practice 2004
Abbreviated titleSERP'04
Country/TerritoryUnited States
CityLas Vegas
Period21.06.0424.06.04

Fingerprint

Dive into the research topics of 'Stream-Based Design of an Asynchronous Send-Receive Protocol'. Together they form a unique fingerprint.

Cite this