A Loose Interaction Pattern for Asynchronous Components

Walter Dosch

doi:10.1109/APSEC.2005.10

A Loose Interaction Pattern for Asynchronous Components

Walter Dosch

Institute of Software Engineering and Programming Languages

Abstract

The paper studies the top-down design of a basic interaction pattern for asynchronously communicating components. The interaction pattern describes a high level protocol where an active sender component transmits messages to a passive receiver component controlled by the receiver's acknowledgements. The formal design refines the components' input/output behaviour into a state-based implementation based on three transformation steps. An architectural refinement decomposes the protocol function into a sender component and into a receiver component introducing a feedback channel. The differentiation localizes the effect of single inputs wrt. a previous input history. The history abstraction extracts the components' control state and data state from the input history.

Original language	English
Title of host publication	12th Asia-Pacific Software Engineering Conference (APSEC'05)
Number of pages	9
Publisher	IEEE
Publication date	01.12.2005
Pages	222-230
Article number	1607156
ISBN (Print)	0-7695-2465-6
DOIs	https://doi.org/10.1109/APSEC.2005.10
Publication status	Published - 01.12.2005
Event	12th Asia-Pacific Software Engineering Conference - Taipei, Taiwan, Province of China Duration: 15.12.2005 → 17.12.2005 Conference number: 69285

UN SDGs

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

Access to Document

10.1109/APSEC.2005.10

Cite this

@inproceedings{d451f174621a4f19bb119e6818d30e4b,

title = "A Loose Interaction Pattern for Asynchronous Components",

abstract = "The paper studies the top-down design of a basic interaction pattern for asynchronously communicating components. The interaction pattern describes a high level protocol where an active sender component transmits messages to a passive receiver component controlled by the receiver's acknowledgements. The formal design refines the components' input/output behaviour into a state-based implementation based on three transformation steps. An architectural refinement decomposes the protocol function into a sender component and into a receiver component introducing a feedback channel. The differentiation localizes the effect of single inputs wrt. a previous input history. The history abstraction extracts the components' control state and data state from the input history.",

author = "Walter Dosch",

year = "2005",

month = dec,

day = "1",

doi = "10.1109/APSEC.2005.10",

language = "English",

isbn = "0-7695-2465-6",

series = "Proceedings - Asia-Pacific Software Engineering Conference, APSEC",

publisher = "IEEE",

pages = "222--230",

booktitle = "12th Asia-Pacific Software Engineering Conference (APSEC'05)",

note = "12th Asia-Pacific Software Engineering Conference <br/>, APSEC'05 ; Conference date: 15-12-2005 Through 17-12-2005",

}

TY - GEN

T1 - A Loose Interaction Pattern for Asynchronous Components

AU - Dosch, Walter

N1 - Conference code: 69285

PY - 2005/12/1

Y1 - 2005/12/1

N2 - The paper studies the top-down design of a basic interaction pattern for asynchronously communicating components. The interaction pattern describes a high level protocol where an active sender component transmits messages to a passive receiver component controlled by the receiver's acknowledgements. The formal design refines the components' input/output behaviour into a state-based implementation based on three transformation steps. An architectural refinement decomposes the protocol function into a sender component and into a receiver component introducing a feedback channel. The differentiation localizes the effect of single inputs wrt. a previous input history. The history abstraction extracts the components' control state and data state from the input history.

AB - The paper studies the top-down design of a basic interaction pattern for asynchronously communicating components. The interaction pattern describes a high level protocol where an active sender component transmits messages to a passive receiver component controlled by the receiver's acknowledgements. The formal design refines the components' input/output behaviour into a state-based implementation based on three transformation steps. An architectural refinement decomposes the protocol function into a sender component and into a receiver component introducing a feedback channel. The differentiation localizes the effect of single inputs wrt. a previous input history. The history abstraction extracts the components' control state and data state from the input history.

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

U2 - 10.1109/APSEC.2005.10

DO - 10.1109/APSEC.2005.10

M3 - Conference contribution

SN - 0-7695-2465-6

T3 - Proceedings - Asia-Pacific Software Engineering Conference, APSEC

SP - 222

EP - 230

BT - 12th Asia-Pacific Software Engineering Conference (APSEC'05)

PB - IEEE

T2 - 12th Asia-Pacific Software Engineering Conference <br/>

Y2 - 15 December 2005 through 17 December 2005

ER -

A Loose Interaction Pattern for Asynchronous Components

Abstract

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this