On the semantics of message sequence charts

Lade...
Vorschaubild
Dateien
Leue On the semantics of message 207541.pdf
Leue On the semantics of message 207541.pdfGröße: 4.18 MBDownloads: 258
Datum
1993
Autor:innen
Ladkin, Peter B.
Herausgeber:innen
Kontakt
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
DOI (zitierfähiger Link)
ArXiv-ID
Internationale Patentnummer
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Open Access Green
Core Facility der Universität Konstanz
Gesperrt bis
Titel in einer weiteren Sprache
Forschungsvorhaben
Organisationseinheiten
Zeitschriftenheft
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.

Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
004 Informatik
Schlagwörter
Konferenz
Rezension
undefined / . - undefined, undefined
Zitieren
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, 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>
Interner Vermerk
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Kontakt
URL der Originalveröffentl.
Prüfdatum der URL
Prüfungsdatum der Dissertation
Finanzierungsart
Kommentar zur Publikation
Allianzlizenz
Corresponding Authors der Uni Konstanz vorhanden
Internationale Co-Autor:innen
Universitätsbibliographie
Nein
Begutachtet
Diese Publikation teilen