Syntactic Analysis of Message Sequence Chart Specifications

Cite This

Files in this item

Checksum: MD5:de6ddeb3572ad1396583313878eb3508

BEN-ABDALLAH, Hanêne, Stefan LEUE, 1996. Syntactic Analysis of Message Sequence Chart Specifications. In: Technical Report 96-12 Deptartment of Electrical and Computer Engineering University of Waterloo

@misc{BenAbdallah1996Synta-5582, title={Syntactic Analysis of Message Sequence Chart Specifications}, year={1996}, author={Ben-Abdallah, Hanêne and Leue, Stefan} }

<rdf:RDF xmlns:dcterms="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <dc:contributor>Ben-Abdallah, Hanêne</dc:contributor> <dc:contributor>Leue, Stefan</dc:contributor> <dc:rights>Attribution-NonCommercial-NoDerivs 2.0 Generic</dc:rights> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:bibliographicCitation>Technical Report 96-12, Deptartment of Electrical and Computer Engineering, University of Waterloo</dcterms:bibliographicCitation> <dcterms:hasPart rdf:resource=""/> <dc:creator>Ben-Abdallah, Hanêne</dc:creator> <dc:creator>Leue, Stefan</dc:creator> <dcterms:title>Syntactic Analysis of Message Sequence Chart Specifications</dcterms:title> <dcterms:issued>1996</dcterms:issued> <dspace:hasBitstream rdf:resource=""/> <dcterms:available rdf:datatype="">2011-03-24T15:56:35Z</dcterms:available> <dc:date rdf:datatype="">2011-03-24T15:56:35Z</dc:date> <dcterms:abstract xml:lang="eng">Message Sequence Charts (MSCs) are gaining popularity in software engineering methods for concurrent and real-time systems. They are increasingly supported in software engineering tools to capture, for instance, system requirements, test scenarios, and simulation traces. MSCs have been standardized by ITU-T in Recommendation Z.120 [15]. However, various aspects of environment behavior remain underspecified in MSCs, e.g., the presence of resources for inter-process communication and the coordination of oncurrent processes at points of control branching. Such underspecifications can result in ambiguities in an MSC specification and discrepancies between an MSC specification and its implementation. In this paper we characterize two consequences of harmful underspecifications: process divergence and non-local branching choice. We also present two syntax-based analysis algorithms that detect both problems. The syntactic characterization of these problems requires an MSC specification to be deadlock-free. Therefore, we also discuss deadlock detection in MSC specifications.</dcterms:abstract> <bibo:uri rdf:resource=""/> <dc:format>application/pdf</dc:format> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dspace:isPartOfCollection rdf:resource=""/> <dcterms:isPartOf rdf:resource=""/> <dc:language>eng</dc:language> <dcterms:rights rdf:resource=""/> </rdf:Description> </rdf:RDF>

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

Syntactic_Analysis_of_Message_Sequence_Chart_Specifications.pdf 537

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


My Account