QoS Specification Based on SDL/MSC and Temporal Logic

Cite This

Files in this item

Checksum: 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, May 31, 1994 - Jun 2, 1994. In: Proceedings of Workshop on Distributed Multimedia Applications and Quality of Service Verification : Montreal, Quebec, Canada, May 31 st - June 2 nd, 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: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/rdf/resource/123456789/5506"> <dc:language>eng</dc:language> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5506/1/QoS_Specification_Based_on_SDL.pdf"/> <dc:rights>Attribution-NonCommercial-NoDerivs 2.0 Generic</dc:rights> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5506/1/QoS_Specification_Based_on_SDL.pdf"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:56:04Z</dcterms:available> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:format>application/pdf</dc:format> <dcterms:issued>1994</dcterms:issued> <dcterms:title>QoS Specification Based on SDL/MSC and Temporal Logic</dcterms:title> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:56:04Z</dc:date> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <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> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by-nc-nd/2.0/"/> <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>

Downloads since Oct 1, 2014 (Information about access statistics)

QoS_Specification_Based_on_SDL.pdf 220

This item appears in the following Collection(s)

Attribution-NonCommercial-NoDerivs 2.0 Generic Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 2.0 Generic

Search KOPS


Browse

My Account