QoS Specification Based on SDL/MSC and Temporal Logic

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:8606ece77ed761e18a0ee296a2645d4f

LEUE, Stefan, 1994. QoS Specification Based on SDL/MSC and Temporal Logic. Distributed Multimedia Applications and Quality of Service Verification. Montreal, Quebec, Canada, 31. Mai 1994 - 2. Jun 1994. In: Proceedings of Workshop on Distributed Multimedia Applications and Quality of Service Verification : Montreal, Quebec, Canada, May 31 st - June 2 nd, 1994. Distributed Multimedia Applications and Quality of Service Verification. Montreal, Quebec, Canada, 31. Mai 1994 - 2. Jun 1994

@inproceedings{Leue1994Speci-5506, title={QoS Specification Based on SDL/MSC and Temporal Logic}, year={1994}, booktitle={Proceedings of Workshop on Distributed Multimedia Applications and Quality of Service Verification : Montreal, Quebec, Canada, May 31 st - June 2 nd, 1994}, author={Leue, Stefan} }

<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/5506"> <dc:language>eng</dc:language> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:56:04Z</dcterms:available> <dc:rights>deposit-license</dc:rights> <dc:contributor>Leue, Stefan</dc:contributor> <dc:format>application/pdf</dc:format> <dcterms:rights rdf:resource="https://creativecommons.org/licenses/by-nc-nd/2.0/legalcode"/> <dcterms:issued>1994</dcterms:issued> <dcterms:title>QoS Specification Based on SDL/MSC and Temporal Logic</dcterms:title> <dcterms:bibliographicCitation>First publ. in: Proceedings of Workshop on Distributed Multimedia Applications and Quality of Service Verification : Montreal, Quebec, Canada, May 31st - June 2nd, 1994</dcterms:bibliographicCitation> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:56:04Z</dc:date> <dcterms:abstract xml:lang="eng">Many telecommunications systems engineers find it convenient to specify functional properties of their systems using state-transition based formal description techniques like SDL or Message Sequence Charts (MSCs). However, the expressiveness of these techniques does not capture Quality of Service (QoS)or Network Performance (Np) requirements because many of these rely on real-time bunds and probability constraints which these FDTs do not allow to express. However, suitably extended teporal logics allow specifications given in SDL or MSC with temporal logic based specifications of QoS or Np requirements. We show how SDL and MSC specifications fit together with Temporal logic specifications. Then we give examples of delay bound, delay jitter, isochronicity, stochastic reliability and stochastic dely bound constraint specifications. We discuss how our method helps in the specification of Np/QoS mapping problems, of QoS negotiation mechanisms, and of QoS monitoring. Finally we hint at methods for the formal verification of QoS and Np specifications.</dcterms:abstract> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/5506"/> <dc:creator>Leue, Stefan</dc:creator> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

QoS_Specification_Based_on_SDL.pdf 117

Das Dokument erscheint in:

deposit-license Solange nicht anders angezeigt, wird die Lizenz wie folgt beschrieben: deposit-license

KOPS Suche


Stöbern

Mein Benutzerkonto