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

Authors:
Christian Webel;Reinhard Gotzhein;Joachim Nicolay
Affiliations:
Department of Computer Sciences, University of Kaiserslautern, Kaiserslautern, Germany;Department of Computer Sciences, University of Kaiserslautern, Kaiserslautern, Germany;Department of Computer Sciences, University of Kaiserslautern, Kaiserslautern, Germany
Venue:
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Year:
2008

Citing 4
Cited 0

QOSME: QOS management environment

QOSME: QOS management environment
QoS Specification Languages for Distributed Multimedia Applications: A Survey and Taxonomy

IEEE MultiMedia
Formalization of Network Quality-of-Service Requirements

FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
QuO's runtime support for quality of service in distributed objects

Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing

Quantified Score

Hi-index	0.00

Visualization

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.