Stream-Based Design of an Asynchronous Send-Receive Protocol

Walter Dosch

Stream-Based Design of an Asynchronous Send-Receive Protocol

Walter Dosch

Institute of Software Engineering and Programming Languages

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 language	English
Pages	868-874
Number of pages	7
Publication status	Published - 01.12.2004
Event	Proceedings of the International Conference on Software Engineering Research and Practice 2004 - Las Vegas, United States Duration: 21.06.2004 → 24.06.2004 Conference number: 64209

Conference

Conference	Proceedings of the International Conference on Software Engineering Research and Practice 2004
Abbreviated title	SERP'04
Country/Territory	United States
City	Las Vegas
Period	21.06.04 → 24.06.04

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Cite this

@conference{011d2cd62e7d4506bda32710b4401733,

title = "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.",

author = "Walter Dosch",

year = "2004",

month = dec,

day = "1",

language = "English",

pages = "868--874",

note = "Proceedings of the International Conference on Software Engineering Research and Practice 2004, SERP'04 ; Conference date: 21-06-2004 Through 24-06-2004",

}

TY - CONF

T1 - Stream-Based Design of an Asynchronous Send-Receive Protocol

AU - Dosch, Walter

N1 - Conference code: 64209

PY - 2004/12/1

Y1 - 2004/12/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-12344300676&origin=inward&txGid=8f5f97eaf0a6849882dab79b25a167f3

M3 - Conference Papers

SP - 868

EP - 874

T2 - Proceedings of the International Conference on Software Engineering Research and Practice 2004

Y2 - 21 June 2004 through 24 June 2004

ER -

Stream-Based Design of an Asynchronous Send-Receive Protocol

Abstract

Conference

UN SDGs

Other files and links

Fingerprint

Cite this