Abstract
We investigate the specification and implementation of iterator components for dyadic Boolean operations in the setting of stream functions and state transition machines. We explicate the approach for the Boolean conjunction and study iterator components repeating this operation. The strict conjunction, the left-strict conjunction, the right-strict conjunction and the parallel conjunction differ in their reaction how they process F-elements from one input channel while waiting for input on the other input channel. We systematically transform the input/output behaviour into state-based implementations using a common history abstraction function. Beyond the particular application, we present general methods for the systematic design of iterator components in distributed systems with asynchronous communication.
Original language | English |
---|---|
Title of host publication | Fifth International Conference on Information Technology: New Generations (itng 2008) |
Number of pages | 9 |
Publisher | IEEE |
Publication date | 27.05.2008 |
Pages | 88-96 |
Article number | 4492460 |
ISBN (Print) | 978-0-7695-3099-4, 978-0-7695-3099-0 |
DOIs | |
Publication status | Published - 27.05.2008 |
Event | International Conference on Information Technology: New Generations - Las Vegas, United States Duration: 07.04.2008 → 09.04.2008 Conference number: 72063 |