Stream-Based Design of an Asynchronous Send-Receive Protocol

摘要

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.