KOPS - Das Institutionelle Repositorium der Universität Konstanz

Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications

Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:500a4feb6f9d2650ef41914a5e9c162b

BEN-ABDALLAH, Hanêne, Stefan LEUE, 1997. Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications

@techreport{BenAbdallah1997Expre-5463, series={Department of Electrical and Computer Engineering, University of Waterloo, Technical Report}, title={Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications}, year={1997}, number={97-04}, author={Ben-Abdallah, Hanêne and 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/5463"> <dc:contributor>Leue, Stefan</dc:contributor> <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"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:55:37Z</dcterms:available> <dc:rights>deposit-license</dc:rights> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/5463"/> <dc:creator>Ben-Abdallah, Hanêne</dc:creator> <dcterms:issued>1997</dcterms:issued> <dcterms:title>Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications</dcterms:title> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:format>application/pdf</dc:format> <dc:language>eng</dc:language> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103416863-3868037-7"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <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> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:55:37Z</dc:date> <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"/> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Expressing_and_Analyzing_Timing_Constraints_in_Message_Sequence_Chart_Specifications.pdf 127

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto