Extending the service domain of an interactive bounded queue

Walter Dosch*, Annette Stümpel

*Korrespondierende/r Autor/-in für diese Arbeit
1 Zitat (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."

TitelTrends in Intelligent Systems and Computer Engineering
Herausgeber (Verlag)Springer Verlag
ISBN (Print)978-0-387-74934-1
ISBN (elektronisch)978-0-387-74935-8
PublikationsstatusVeröffentlicht - 08.05.2008


Untersuchen Sie die Forschungsthemen von „Extending the service domain of an interactive bounded queue“. Zusammen bilden sie einen einzigartigen Fingerprint.