Publikation: QoS Specification Based on SDL/MSC and Temporal Logic
Dateien
Datum
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
Internationale Patentnummer
Link zur Lizenz
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Publikationsstatus
Erschienen in
Zusammenfassung
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.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
Schlagwörter
Konferenz
Rezension
Zitieren
ISO 690
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. Juni 1994. In: Proceedings of Workshop on Distributed Multimedia Applications and Quality of Service Verification : Montreal, Quebec, Canada, May 31 st - June 2 nd, 1994. 1994BibTex
@inproceedings{Leue1994Speci-5506, year={1994}, title={QoS Specification Based on SDL/MSC and Temporal Logic}, 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:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/5506"> <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> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/> <foaf:homepage rdf:resource="http://localhost:8080/"/> <dcterms:title>QoS Specification Based on SDL/MSC and Temporal Logic</dcterms:title> <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> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:56:04Z</dcterms:available> <dc:format>application/pdf</dc:format> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5506/1/QoS_Specification_Based_on_SDL.pdf"/> <dc:contributor>Leue, Stefan</dc:contributor> <dc:language>eng</dc:language> <dcterms:issued>1994</dcterms:issued> <dc:rights>Attribution-NonCommercial-NoDerivs 2.0 Generic</dc:rights> <dc:creator>Leue, Stefan</dc:creator> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/5506"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5506/1/QoS_Specification_Based_on_SDL.pdf"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:56:04Z</dc:date> <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by-nc-nd/2.0/"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> </rdf:Description> </rdf:RDF>