Transformational Design of an Asynchronous Distributor Component

Walter Dosch, Wenying Feng


The paper studies the systematic top-down design of an asynchronous distributor component that routes an incoming stream of messages to different output channels controlled by a stream of channel numbers. We refine the communication-oriented input/output behaviour into a state-based implementation exploiting two major transformations. The differentiation localizes the effect of single inputs with respect to previous input histories; the history abstraction extracts the component's state from the input histories. We present a uniform design for distributors of different outdegree using dependent types. Beyond the particular case study, we explicate generally applicable formal methods for the functional specification and systematic design of interactive components in asynchronous systems.

Original languageEnglish
Number of pages8
Publication statusPublished - 01.12.2007
Event22nd International Conference on Computers and Their Applications 2007 - Honolulu, United States
Duration: 28.03.200730.03.2007
Conference number: 98930


Conference22nd International Conference on Computers and Their Applications 2007
Abbreviated titleCATA 2007
Country/TerritoryUnited States


Dive into the research topics of 'Transformational Design of an Asynchronous Distributor Component'. Together they form a unique fingerprint.

Cite this