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)

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."

OriginalspracheEnglisch
TitelTrends in Intelligent Systems and Computer Engineering
Seitenumfang20
ErscheinungsortBoston
Herausgeber (Verlag)Springer Verlag
Erscheinungsdatum08.05.2008
Seiten599-618
ISBN (Print)978-0-387-74934-1
ISBN (elektronisch)978-0-387-74935-8
DOIs
PublikationsstatusVeröffentlicht - 08.05.2008

Fingerprint

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

Zitieren