Publikation:

QoS Specification Based on SDL/MSC and Temporal Logic

Lade...
Vorschaubild

Dateien

QoS_Specification_Based_on_SDL.pdf
QoS_Specification_Based_on_SDL.pdfGröße: 325.93 KBDownloads: 249

Datum

1994

Autor:innen

Herausgeber:innen

Kontakt

ISSN der Zeitschrift

Electronic ISSN

ISBN

Bibliografische Daten

Verlag

Schriftenreihe

Auflagebezeichnung

DOI (zitierfähiger Link)
ArXiv-ID

Internationale Patentnummer

Angaben zur Forschungsförderung

Projekt

Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz

Gesperrt bis

Titel in einer weiteren Sprache

Publikationstyp
Beitrag zu einem Konferenzband
Publikationsstatus
Published

Erschienen in

Proceedings of Workshop on Distributed Multimedia Applications and Quality of Service Verification : Montreal, Quebec, Canada, May 31 st - June 2 nd, 1994. 1994

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)
004 Informatik

Schlagwörter

Konferenz

Distributed Multimedia Applications and Quality of Service Verification, 31. Mai 1994 - 2. Juni 1994, Montreal, Quebec, Canada
Rezension
undefined / . - undefined, undefined

Forschungsvorhaben

Organisationseinheiten

Zeitschriftenheft

Zugehörige Datensätze in KOPS

Zitieren

ISO 690LEUE, 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. 1994
BibTex
@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>

Interner Vermerk

xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter

Kontakt
URL der Originalveröffentl.

Prüfdatum der URL

Prüfungsdatum der Dissertation

Finanzierungsart

Kommentar zur Publikation

Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Nein
Begutachtet
Diese Publikation teilen