Advertisement

NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements

  • Christian Webel
  • Reinhard Gotzhein
  • Joachim Nicolay
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5048)

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.

Keywords

Tool Support Tool Chain Language Element Meta Object Facility Graphical Modeling Framework 
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

  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    Jin, J., Nahrstedt, K.: QoS Specification Languages for Distributed Multimedia Applications: A Survey and Taxonomy. IEEE MultiMedia 11(3), 74–87 (2004)CrossRefGoogle Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Aagedal, J.Ø.: Quality of Service Support in Development of Distributed Systems. PhD thesis, University of Oslo, Oslo, Norway (2001)Google Scholar
  5. 5.
    Röttger, S., Zschaler, S.: Tool support for refinement of non-functional specifications. Software and Systems Modelling journal (SoSyM) 6(2) (June 2007)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    Florissi, P.G.S.: QoSME: QoS Management Environment. PhD thesis, Columbia University (1996)Google Scholar
  8. 8.
    Campbell, A.T.: A Quality of Service Architecture. PhD thesis, Computing Department, Lancaster University (1996)Google Scholar
  9. 9.
    Webel, C.: NQSL - A Specification Language for Network Quality of Service. Technical Report 368/07, Department of Computer Science, University of Kaiserslautern (2007)Google Scholar
  10. 10.
    Eclipse Foundation: Eclipse Modeling Framework Project (EMF) (2007), http://www.eclipse.org/modeling/emf/
  11. 11.
    Eclipse Foundation: The Eclipse Graphical Modeling Framework (GMF) (2007), http://www.eclipse.org/gmf/
  12. 12.
    Object Management Group, Inc.: Meta Object Facility (MOF) Specification (2000), http://www.omg.org/mof/
  13. 13.
    Object Management Group, Inc.: Xml metadata interchange (xmi) specification (2007), http://www.omg.org/technology/documents/formal/xmi.htm
  14. 14.
    World Wide Web Consortium: XSL Transformations (XSLT). W3C Recommendation (1999), http://www.w3.org/TR/xslt
  15. 15.
    International Telecommunications Union: Specification and Description Language (SDL). ITU-T Recommendation Z.100 (August 2002)Google Scholar
  16. 16.
    Telelogic AB: Telelogic SDL Suite and TTCN Suite (2007), http://www.telelogic.com/products/tau/sdl/index.cfm
  17. 17.
    JFlex: JFlex - The Fast Scanner Generator for Java (2007), http://jflex.de/
  18. 18.
    CUP: CUP – LALR Parser Generator in Java (2006), http://www2.cs.tum.edu/projects/cup/

Copyright information

© IFIP International Federation for Information Processing 2008

Authors and Affiliations

  • Christian Webel
    • 1
  • Reinhard Gotzhein
    • 1
  • Joachim Nicolay
    • 1
  1. 1.Department of Computer SciencesUniversity of KaiserslauternKaiserslauternGermany

Personalised recommendations