Abstract
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 language | English |
---|---|
Title of host publication | Fourth International Conference on Information Technology (ITNG'07) |
Number of pages | 8 |
Publisher | IEEE |
Publication date | 28.08.2007 |
Pages | 707-714 |
Article number | 4151765 |
ISBN (Print) | 0-7695-2776-0 |
DOIs | |
Publication status | Published - 28.08.2007 |
Event | 4th International Conference on Information Technology-New Generations - Las Vegas, United States Duration: 02.04.2007 → 04.04.2007 Conference number: 70126 |