Stream-Based Design of an Asynchronous Send-Receive Protocol

Walter Dosch

Stream-Based Design of an Asynchronous Send-Receive Protocol

Walter Dosch

Institut für Softwaretechnik und Programmiersprachen

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.

Originalsprache	Englisch
Seiten	868-874
Seitenumfang	7
Publikationsstatus	Veröffentlicht - 01.12.2004
Veranstaltung	Proceedings of the International Conference on Software Engineering Research and Practice 2004 - Las Vegas, USA / Vereinigte Staaten Dauer: 21.06.2004 → 24.06.2004 Konferenznummer: 64209

Tagung, Konferenz, Kongress

Tagung, Konferenz, Kongress	Proceedings of the International Conference on Software Engineering Research and Practice 2004
Kurztitel	SERP'04
Land/Gebiet	USA / Vereinigte Staaten
Ort	Las Vegas
Zeitraum	21.06.04 → 24.06.04

UN SDGs

Dieser Output leistet einen Beitrag zu folgendem(n) Ziel(en) für nachhaltige Entwicklung

SDG 9 – Industrie, Innovation und Infrastruktur

Weitere Links

https://www.scopus.com/pages/publications/12344300676

Zitieren

@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/pages/publications/12344300676

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

Tagung, Konferenz, Kongress

UN SDGs

Weitere Links

Fingerprint

Zitieren