High Level Design of a Request Driven Sender Component


The paper studies the systematic top-down design of an asynchronous sender component as part of a software architecture. The receiver pulls messages from the sender by transmitting the number of messages requested. The design refines the communication-oriented input/output behaviour specified by a stream processing function into an implementation by a state transition machine. The development consists of three major transformation steps, viz. the differentiation of the stream processing function, the state introduction using a history abstraction, and the implementation of the abstract state space. The application explicates general methods for the formal design of interactive components in a functional setting.

Original languageEnglish
Title of host publicationFourth International Conference on Information Technology (ITNG'07)
Number of pages8
Publication date28.08.2007
Article number4151765
ISBN (Print)0-7695-2776-0
Publication statusPublished - 28.08.2007
Event4th International Conference on Information Technology-New Generations - Las Vegas, United States
Duration: 02.04.200704.04.2007
Conference number: 70126


Dive into the research topics of 'High Level Design of a Request Driven Sender Component'. Together they form a unique fingerprint.

Cite this