A Loose Interaction Pattern for Asynchronous Components

Walter Dosch


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 languageEnglish
Title of host publication12th Asia-Pacific Software Engineering Conference (APSEC'05)
Number of pages9
Publication date01.12.2005
Article number1607156
ISBN (Print)0-7695-2465-6
Publication statusPublished - 01.12.2005
Event12th Asia-Pacific Software Engineering Conference
- Taipei, Taiwan, Province of China
Duration: 15.12.200517.12.2005
Conference number: 69285


Dive into the research topics of 'A Loose Interaction Pattern for Asynchronous Components'. Together they form a unique fingerprint.

Cite this