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

C. Webel, R. Gotzhein, J. Nicolay

Proceedings of the 28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2008), Tokyo, Japan, Lecture Notes in Computer Science (LNCS) 5048, 2008


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.


Zu den Kontaktdetails des Verantwortlichen dieser Seite

This page in english. Diese Seite auf englisch.