Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications

Ben-Abdallah, Hanêne; Leue, Stefan

Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications

Dateien

Expressing_and_Analyzing_Timing_Constraints_in_Message_Sequence_Chart_Specifications.pdf(331.21 KB)

Datum

1997

Autor:innen

Ben-Abdallah, Hanêne

Leue, Stefan

Schriftenreihe

Department of Electrical and Computer Engineering, University of Waterloo, Technical Report; 97-04

Publikationstyp

Working Paper/Technical Report

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.

Fachgebiet (DDC)

004 Informatik

Zitieren

ISO 690

BEN-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>

Universitätsbibliographie

Nein