Abstract
Network Quality-of-Service (QoS) is a central characteristic of the design of modern communication systems. Before designing and implementing communication systems, network QoS requirements and QoS mappings have to be specified and analyzed. In this paper, we provide language and tool support for this purpose. To specify network QoS requirements and QoS mappings, we define a formal description technique called NQSL, the Network QoS Specification Language. To support the efficient handling of NQSL specifications, we present a tool chain consisting of the Graphical NQSL Editor (GNE), the NQSL Analyzer (NA) for QoS domain reduction, and the NQSL-to-SDL Compiler (NSC) for the generation of SDL data and process types.
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
Webel, C., Gotzhein, R.: Formalization of Network Quality-of-Service Requirements. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 309–324. Springer, Heidelberg (2007)
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, p. 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)
Röttger, S., Zschaler, S.: Tool support for refinement of non-functional specifications. Software and Systems Modelling journal (SoSyM) 6(2) (June 2007)
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 1998), 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)
Webel, C.: NQSL - A Specification Language for Network Quality of Service. Technical Report 368/07, Department of Computer Science, University of Kaiserslautern (2007)
Eclipse Foundation: Eclipse Modeling Framework Project (EMF) (2007), http://www.eclipse.org/modeling/emf/
Eclipse Foundation: The Eclipse Graphical Modeling Framework (GMF) (2007), http://www.eclipse.org/gmf/
Object Management Group, Inc.: Meta Object Facility (MOF) Specification (2000), http://www.omg.org/mof/
Object Management Group, Inc.: Xml metadata interchange (xmi) specification (2007), http://www.omg.org/technology/documents/formal/xmi.htm
World Wide Web Consortium: XSL Transformations (XSLT). W3C Recommendation (1999), http://www.w3.org/TR/xslt
International Telecommunications Union: Specification and Description Language (SDL). ITU-T Recommendation Z.100 (August 2002)
Telelogic AB: Telelogic SDL Suite and TTCN Suite (2007), http://www.telelogic.com/products/tau/sdl/index.cfm
JFlex: JFlex - The Fast Scanner Generator for Java (2007), http://jflex.de/
CUP: CUP – LALR Parser Generator in Java (2006), http://www2.cs.tum.edu/projects/cup/
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 IFIP International Federation for Information Processing
About this paper
Cite this paper
Webel, C., Gotzhein, R., Nicolay, J. (2008). NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds) Formal Techniques for Networked and Distributed Systems – FORTE 2008. FORTE 2008. Lecture Notes in Computer Science, vol 5048. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68855-6_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-68855-6_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68854-9
Online ISBN: 978-3-540-68855-6
eBook Packages: Computer ScienceComputer Science (R0)