Extending the service domain of an interactive bounded queue

Walter Dosch*, Annette Stümpel

*Corresponding author for this work
1 Citation (Scopus)


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 languageEnglish
Title of host publicationTrends in Intelligent Systems and Computer Engineering
Number of pages20
Place of PublicationBoston
PublisherSpringer Verlag
Publication date08.05.2008
ISBN (Print)978-0-387-74934-1
ISBN (Electronic)978-0-387-74935-8
Publication statusPublished - 08.05.2008


Dive into the research topics of 'Extending the service domain of an interactive bounded queue'. Together they form a unique fingerprint.

Cite this