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
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.
Superordinated page: Year 2008 | |
Feedback | |
Go to the contact details of the person in charge of this page |
Deutsch | |
This page in german. Diese Seite auf deutsch. |