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 scientific contributions. 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 for interactive queues. The specification techniques, the description methods, the underlying transformations, and the overall methodology contribute to a general “engineering theory of services.”
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Peter Wegner. Why interaction is more powerful than algorithms. Communications of the ACM, 40(5):80–91, May 1997.
Manfred Broy and Ketil Stølen. Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Monographs in Computer Science. Springer, New York, 2001.
Gilles Kahn. The semantics of a simple language for parallel programming. In J.L. Rosenfeld, editor, Information Processing 74, pages 471–475, 1974.
Manfred Broy, Ingolf H. Krüger, and Michael Meisinger. A formal model of services. ACM Transactions on Software Engineering and Methodology, 16(1), February 2007.
Walter Dosch and Gongzhu Hu. On irregular behaviours of interactive stacks. In S. Latifi, editor, Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), pages 693–700. IEEE Computer Society Press, Los Alamitos, CA, 2007.
Robert Stephens. A survey of stream processing. Acta Informatica, 34(7):491–541, 1997.
Walter Dosch and Annette Stümpel. From stream transformers to state transition machines with input and output. In N. Ishii, T. Mizuno, and R. Lee, editors, Proceedings of the 2nd International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD’01), pages 231–238. International Association for Computer and Information Science (ACIS), 2001.
Manfred Broy. From states to histories: Relating state and history views onto systems. In T. Hoare, M. Broy, and R. Steinbrüggen, editors, Engineering Theories of Software Construction, volume 180 of Series III: Computer and System Sciences, pages 149–186. IOS Press, Amsterdam, 2001.
Glynn Winskel and Mogens Nielsen. Models for concurrency. In S. Abramsky, D.M. Gabbay, and T.S.E. Maibaum, editors, Semantic Modelling, volume 4 of Handbook of Logic in Computer Science, pages 1–148. Oxford University Press, UK, 1995.
David Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.
James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual. Addison-Wesley Object Technology Series. Addison-Wesley, Reading, MA. 1998.
Object Management Group (OMG). Unified Modeling Language: Superstructure, 2.1.1 edition, 2007.
Annette Stümpel. Stream Based Design of Distributed Systems through Refinement. Logos Verlag, Berlin, 2003.
Walter Dosch and Annette Stümpel. Transforming stream processing functions into state transition machines. In W. Dosch, R.Y. Lee, and C. Wu, editors, Software Engineering Research and Applications (SERA 2004), LNCS 3647, pages 1–18. Springer, New York, 2005.
Walter Dosch and Annette Stümpel. Deriving state–based implementations of interactive components with history abstractions. In I. Virbitskaite and A. Voronkov, editors, Perspectives of Systems Informatics (PSI 2006), LNCS 4378, pages 180–194. Springer, New York, 2007.
Leo Motus, Merik Meriste, and Walter Dosch. Time-awareness and proactivity in models of interactive computation. ETAPS-Workshop on the Foundations of Interactive Computation (FInCo 2005). Electronic Notes in Theoretical Computer Science, 141(5):69–95, 2005.
Max Breitling and Jan Philipps. Step by step to histories. In T. Rus, editor, Algebraic Methodology and Software Technology (AMAST’2000), LNCS 1816, pages 11–25. Springer, New York, 2000.
Willem-Paul de Roever, Hans Langmaack, and Amir Pnueli, editors. Compositionality: The Significant Difference. LNCS 1536. Springer, New York, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Dosch, W., Stümpel, A. (2008). Extending the Service Domain of an Interactive Bounded Queue. In: Castillo, O., Xu, L., Ao, SI. (eds) Trends in Intelligent Systems and Computer Engineering. Lecture Notes in Electrical Engineering, vol 6. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-74935-8_41
Download citation
DOI: https://doi.org/10.1007/978-0-387-74935-8_41
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-74934-1
Online ISBN: 978-0-387-74935-8
eBook Packages: EngineeringEngineering (R0)