Abstract
The provision of network Quality-of-Service (network QoS) is a major challenge in the development of future communication systems. Before designing and implementing these systems, the network QoS requirements are to be specified. Existing approaches to the specification of network QoS requirements are mainly focused on specific domains or individual system layers. In this paper, we present a holistic, comprehensive formalization of network QoS requirements, across layers. QoS requirements are specified on each layer by defining QoS domain, consisting of QoS performance, reliability, and guarantee, and QoS scalability, with utility and cost functions. Furthermore, we derive preorders on multi-dimensional QoS domains, and present criteria to reduce these domains, leading to a manageable subset of QoS values that is sufficient for system design and implementation. The relationship between layers is formalized by two kinds of QoS mappings. QoS domain mappings associate QoS domains of two abstraction levels. QoS scalability mappings associate utility and cost functions of two abstraction levels. We illustrate our approach by examples from the case study Wireless Video Transmission.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Schmitt, J.: Heterogeneous Network Quality of Service Systems. Kluwer Academic Publishers, Boston (2003)
Jin, J., Nahrstedt, K.: QoS Specification Languages for Distributed Multimedia Applications: A Survey and Taxonomy. IEEE MultiMedia 11(3), 74–87 (2004)
Frølund, S., Koistinen, J.: QML: A Language for Quality of Service Specification. Technical Report HPL-98-10, pp. 63, Software Technology Laboratory, Hewlett-Packard Company (1998)
Aagedal, J.Ø.: Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo, Oslo, Norway (2001)
Vanegas, R., Zinky, J.A., Loyall, J.P., Karr, D., Schantz, R.E., Bakken, D.E.: QuO’s Runtime Support for Quality of Service in Distributed Objects. In: Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing (Middleware’98), The Lake District, UK, pp. 207–222 (1998)
Florissi, P.G.S.: QoSME: QoS Management Environment. PhD thesis, Columbia University (1996)
Campbell, A.T.: A Quality of Service Architecture. PhD thesis, Computing Department, Lancaster University (1996)
Koliver, C., Nahrstedt, K., Farines, J.M., Fraga, J.D.S., Sandri, S.A.: Specification, Mapping and Control for QoS Adaptation. Real.-Time. Systems 23(1-2), 143–174 (2002)
Huard, J.F., Lazar, A.A.: On QoS Mapping in Multimedia Networks. In (COMPSAC’97). 21th IEEE Annual International Computer Software and Application Conference, IEEE Computer Society Press, Los Alamitos (1997)
Fukuda, K., Wakamiya, N., Murata, M., Miyahara, H.: QoS Mapping between User’s Preference and Bandwidth Control for Video Transport. In: 5th International Workshop on Quality of Service (IWQoS’97), Kluwer Academic Publishers, Dordrecht (1997)
DaSilva, L.A.: QoS Mapping Along the Protocol Stack: Discussion and Preliminary Results. In: Proceedings of IEEE International Conference on Communications (ICC’00). vol. 2. New Orleans, LA, pp. 713–717 (2000)
Webel, C., Fliege, I., Geraldy, A., Gotzhein, R., Krämer, M., Kuhn, T.: Cross-Layer Integration in Ad-Hoc Networks with Enhanced Best-Effort Quality-of-Service Guarantees. In: Proceedings of World Telecommunications Congress (WTC 2006), Budapest, Hungary (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 IFIP International Federation for Information Processing
About this paper
Cite this paper
Webel, C., Gotzhein, R. (2007). Formalization of Network Quality-of-Service Requirements. In: Derrick, J., Vain, J. (eds) Formal Techniques for Networked and Distributed Systems – FORTE 2007. FORTE 2007. Lecture Notes in Computer Science, vol 4574. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73196-2_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-73196-2_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73195-5
Online ISBN: 978-3-540-73196-2
eBook Packages: Computer ScienceComputer Science (R0)