Syntactic Analysis of Message Sequence Chart Specifications

Zitieren

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{Ben-Abdallah1996Synta-5582, title={Syntactic Analysis of Message Sequence Chart Specifications}, year={1996}, author={Ben-Abdallah, Hanêne and Leue, Stefan} }

<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/5582"> <dc:contributor>Ben-Abdallah, Hanêne</dc:contributor> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:bibliographicCitation>Technical Report 96-12, Deptartment of Electrical and Computer Engineering, University of Waterloo</dcterms:bibliographicCitation> <dcterms:issued>1996</dcterms:issued> <dcterms:title>Syntactic Analysis of Message Sequence Chart Specifications</dcterms:title> <dc:creator>Leue, Stefan</dc:creator> <dc:creator>Ben-Abdallah, Hanêne</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:56:35Z</dcterms:available> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">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> <dc:format>application/pdf</dc:format> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/5582"/> <dcterms:rights rdf:resource="https://creativecommons.org/licenses/by-nc-nd/2.0/legalcode"/> <dc:rights>deposit-license</dc:rights> <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 123

Das Dokument erscheint in:

deposit-license Solange nicht anders angezeigt, wird die Lizenz wie folgt beschrieben: deposit-license

KOPS Suche


Stöbern

Mein Benutzerkonto