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

Abstract

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.