Abstract
Modern computer systems are composed of software components which store information and provide services through interfaces. A component-based distributed system evolves by an ongoing interaction [1] between the components and the environment. The chapter contains various scientificcontributions. We present unifying functional descriptions for different variants of interactive bounded queues in the setting of stream functions. We refine the functional behaviour of the variants in a systematic way to state-based implementations. The design separates the different aspects for regular and erroneous input streams in a modular way both on the specification and implementation level. Our contribution goes beyond a case study forinteractive queues. The specification techniques, the description methods, the underlying transformations, and the overall methodology contribute to a general "engineering theory of services."
| Original language | English |
|---|---|
| Title of host publication | Trends in Intelligent Systems and Computer Engineering |
| Number of pages | 20 |
| Place of Publication | Boston |
| Publisher | Springer Verlag |
| Publication date | 08.05.2008 |
| Pages | 599-618 |
| ISBN (Print) | 978-0-387-74934-1 |
| ISBN (Electronic) | 978-0-387-74935-8 |
| DOIs | |
| Publication status | Published - 08.05.2008 |
