On the semantics of message sequence charts

Thumbnail Image
Date
1993
Authors
Ladkin, Peter B.
Editors
Contact
Journal ISSN
Electronic ISSN
ISBN
Bibliographical data
Publisher
Series
URI (citable link)
DOI (citable link)
ArXiv-ID
International patent number
Link to the license
EU project number
Project
Open Access publication
Restricted until
Title in another language
Research Projects
Organizational Units
Journal Issue
Publication type
Contribution to a collection
Publication status
Published in
Formale Methoden für verteilte Systeme / König, Hartmut (ed.). - München [u.a.] : Saur, 1993. - (Fokus ; 8). - pp. 88-104. - ISBN 3-598-22409-5
Abstract
We give an informal exposition of a finit e-state semantics for Message Sequence Chart (MSC) specifications. We interpret each MSC specification as a transition system of global states, from which we can define a Biichi automaton by considering safety and liveness properties of the system. We show how the set of global states and transitions may be interpreted as a model for temporal logic, and thus how temporal logic formulas may be used to enhance MSC specifications.
Summary in another language
Subject (DDC)
004 Computer Science
Keywords
Conference
Review
undefined / . - undefined, undefined. - (undefined; undefined)
Cite This
ISO 690LADKIN, Peter B., Stefan LEUE, 1993. On the semantics of message sequence charts. In: KÖNIG, Hartmut, ed.. Formale Methoden für verteilte Systeme. München [u.a.]:Saur, pp. 88-104. ISBN 3-598-22409-5
BibTex
@incollection{Ladkin1993seman-20754,
  year={1993},
  title={On the semantics of message sequence charts},
  number={8},
  isbn={3-598-22409-5},
  publisher={Saur},
  address={München [u.a.]},
  series={Fokus},
  booktitle={Formale Methoden für verteilte Systeme},
  pages={88--104},
  editor={König, Hartmut},
  author={Ladkin, Peter B. 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/20754">
    <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dc:language>eng</dc:language>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/20754/2/Leue%20On%20the%20semantics%20of%20message%20207541.pdf"/>
    <dcterms:issued>1993</dcterms:issued>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/20754"/>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/20754/2/Leue%20On%20the%20semantics%20of%20message%20207541.pdf"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-11-15T10:18:41Z</dcterms:available>
    <dc:rights>terms-of-use</dc:rights>
    <dc:contributor>Ladkin, Peter B.</dc:contributor>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dc:creator>Leue, Stefan</dc:creator>
    <dcterms:title>On the semantics of message sequence charts</dcterms:title>
    <dcterms:abstract xml:lang="eng">We give an informal exposition of a finit e-state semantics for Message Sequence Chart (MSC) specifications. We interpret each MSC specification as a transition system of global states, from which we can define a Biichi automaton by considering safety and liveness properties of the system. We show how the set of global states and transitions may be interpreted as a model for temporal logic, and thus how temporal logic formulas may be used to enhance MSC specifications.</dcterms:abstract>
    <dcterms:bibliographicCitation>Formale Methoden für verteilte Systeme / Hartmut König (Hrsg.). - München [u.a.]: Saur, 1993. - S. 88-104. - (Fokus ; 8) - ISBN 3-598-22409-5</dcterms:bibliographicCitation>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-11-15T10:18:41Z</dc:date>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:creator>Ladkin, Peter B.</dc:creator>
  </rdf:Description>
</rdf:RDF>
Internal note
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Contact
URL of original publication
Test date of URL
Examination date of dissertation
Method of financing
Comment on publication
Alliance license
Corresponding Authors der Uni Konstanz vorhanden
International Co-Authors
Bibliography of Konstanz
No
Refereed