On the semantics of message sequence charts

Ladkin, Peter B.; Leue, Stefan

On the semantics of message sequence charts

Dateien

Leue On the semantics of message 207541.pdfGröße: 4.18 MBDownloads: 268

Datum

1993

Autor:innen

Ladkin, Peter B.

Leue, Stefan

URI (zitierfähiger Link)

http://nbn-resolving.de/urn:nbn:de:bsz:352-207541

Link zur Lizenz

Urheberrechtlich geschützt

Open Access-Veröffentlichung

Open Access Green

Sammlungen

Informatik und Informationswissenschaft

Publikationstyp

Beitrag zu einem Sammelband

Publikationsstatus

Published

Erschienen in

KÖNIG, Hartmut, ed.. Formale Methoden für verteilte Systeme. München [u.a.]: Saur, 1993, pp. 88-104. Fokus. 8. ISBN 3-598-22409-5

Zusammenfassung

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.

Fachgebiet (DDC)

004 Informatik

Zitieren

ISO 690

LADKIN, 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, 1993, pp. 88-104. Fokus. 8. 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>

Universitätsbibliographie

Nein