Syntactic Analysis of Message Sequence Chart Specifications

Ben-Abdallah, Hanêne; Leue, Stefan

Syntactic Analysis of Message Sequence Chart Specifications

Dateien

Syntactic_Analysis_of_Message_Sequence_Chart_Specifications.pdfGröße: 371.46 KBDownloads: 501

Datum

1996

Autor:innen

Ben-Abdallah, Hanêne

Leue, Stefan

URI (zitierfähiger Link)

http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-65052

Link zur Lizenz

Attribution-NonCommercial-NoDerivs 2.0 Generic

Open Access-Veröffentlichung

Open Access Green

Sammlungen

Informatik und Informationswissenschaft

Publikationstyp

Sonstiges, textgebunden (z.B. Gutachten, Blogbeiträge)

Publikationsstatus

Published

Erschienen in

Technical Report 96-12 Deptartment of Electrical and Computer Engineering University of Waterloo

Zusammenfassung

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.

Fachgebiet (DDC)

004 Informatik

Zitieren

ISO 690

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

BibTex

@misc{BenAbdallah1996Synta-5582,
  year={1996},
  title={Syntactic Analysis of Message Sequence Chart Specifications},
  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/5582">
    <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by-nc-nd/2.0/"/>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5582/1/Syntactic_Analysis_of_Message_Sequence_Chart_Specifications.pdf"/>
    <dcterms:bibliographicCitation>Technical Report 96-12, Deptartment of Electrical and Computer Engineering, University of Waterloo</dcterms:bibliographicCitation>
    <dc:contributor>Ben-Abdallah, Hanêne</dc:contributor>
    <dcterms:title>Syntactic Analysis of Message Sequence Chart Specifications</dcterms:title>
    <dc:creator>Leue, Stefan</dc:creator>
    <dc:format>application/pdf</dc:format>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5582/1/Syntactic_Analysis_of_Message_Sequence_Chart_Specifications.pdf"/>
    <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="http://kops.uni-konstanz.de/handle/123456789/5582"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:56:35Z</dc:date>
    <dc:creator>Ben-Abdallah, Hanêne</dc:creator>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dcterms:issued>1996</dcterms:issued>
    <dc:language>eng</dc:language>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:rights>Attribution-NonCommercial-NoDerivs 2.0 Generic</dc:rights>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:56:35Z</dcterms:available>
  </rdf:Description>
</rdf:RDF>

Universitätsbibliographie

Nein