Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications

Vorschaubild
Dateien
Zu diesem Dokument gibt es keine Dateien.
Datum
1997
Autor:innen
Ben-Abdallah, HanĂȘne
Leue, Stefan
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Department of Electrical and Computer Engineering, University of Waterloo, Technical Report; 97-04
Auflagebezeichnung
URI (zitierfÀhiger Link)
http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-65113
DOI (zitierfÀhiger Link)
ArXiv-ID
Internationale Patentnummer
Link zur Lizenz
Urheberrechtlich geschĂŒtzt
EU-Projektnummer
DFG-Projektnummer
Projekt
Open Access-Veröffentlichung
Sammlungen
Informatik und Informationswissenschaft
Load more
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
Publikationstyp
Working Paper/Technical Report
Publikationsstatus
unikn.publication.listelement.citation.prefix.version.undefined
Zusammenfassung

Message Sequence Charts (MSCs) are increasingly supported in software engineering tools and methodologies for communication systems. The last Z.120 standard extends MCs with operators to organize them in a compositional, hierarchical fashion to describe systems with non-trivial sizes. When dealing with timing constraints, the standard is still evolving along with several proposals. This paper first reviews proposed extensions of MSCs to describe timing constraints. Secondly, the paper describes an analysis technique for timing consistency in iterating and branching MSC specifications. The analysis extends efficient current techniques for timing analysis of MSCs with no loops or branchings. Finally, we use an example to illustrate our analysis technique.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
ISO 690BEN-ABDALLAH, HanĂȘne, Stefan LEUE, 1997. Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
BibTex
@techreport{BenAbdallah1997Expre-5463,
  year={1997},
  series={Department of Electrical and Computer Engineering, University of Waterloo, Technical Report},
  title={Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications},
  number={97-04},
  author={Ben-Abdallah, HanĂȘne and 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/5463">
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:55:37Z</dcterms:available>
    <dcterms:abstract xml:lang="eng">Message Sequence Charts (MSCs) are increasingly supported in software engineering tools and methodologies for communication systems. The last Z.120 standard extends MCs with operators to organize them in a compositional, hierarchical fashion to describe systems with non-trivial sizes. When dealing with timing constraints, the standard is still evolving along with several proposals. This paper first reviews proposed extensions of MSCs to describe timing constraints. Secondly, the paper describes an analysis technique for timing consistency in iterating and branching MSC specifications. The analysis extends efficient current techniques for timing analysis of MSCs with no loops or branchings. Finally, we use an example to illustrate our analysis technique.</dcterms:abstract>
    <dcterms:issued>1997</dcterms:issued>
    <dcterms:title>Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications</dcterms:title>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>Leue, Stefan</dc:creator>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5463/1/Expressing_and_Analyzing_Timing_Constraints_in_Message_Sequence_Chart_Specifications.pdf"/>
    <dc:contributor>Ben-Abdallah, HanĂȘne</dc:contributor>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5463/1/Expressing_and_Analyzing_Timing_Constraints_in_Message_Sequence_Chart_Specifications.pdf"/>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/5463"/>
    <dc:rights>terms-of-use</dc:rights>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:55:37Z</dc:date>
    <dc:format>application/pdf</dc:format>
    <dc:language>eng</dc:language>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:creator>Ben-Abdallah, HanĂȘne</dc:creator>
  </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