Syntactic Analysis of Message Sequence Chart Specifications


Dateien zu dieser Ressource

Prüfsumme: 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> <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> <dcterms:title>Syntactic Analysis of Message Sequence Chart Specifications</dcterms:title> <dcterms:issued>1996</dcterms:issued> <dc:creator>Leue, Stefan</dc:creator> <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> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <bibo:uri rdf:resource=""/> <dc:format>application/pdf</dc:format> <dcterms:rights rdf:resource=""/> <dspace:isPartOfCollection rdf:resource=""/> <dc:rights>terms-of-use</dc:rights> <dcterms:isPartOf rdf:resource=""/> <dc:language>eng</dc:language> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Syntactic_Analysis_of_Message_Sequence_Chart_Specifications.pdf 169

Das Dokument erscheint in:

terms-of-use Solange nicht anders angezeigt, wird die Lizenz wie folgt beschrieben: terms-of-use

KOPS Suche


Mein Benutzerkonto