On the semantics of message sequence charts

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:b875c756c7d58e09ce228d031ac6d751

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, pp. 88-104. ISBN 3-598-22409-5

@incollection{Ladkin1993seman-20754, title={On the semantics of message sequence charts}, year={1993}, number={8}, isbn={3-598-22409-5}, address={München [u.a.]}, publisher={Saur}, 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 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/20754"> <dc:creator>Ladkin, Peter B.</dc:creator> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/20754"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-11-15T10:18:41Z</dc:date> <dcterms:title>On the semantics of message sequence charts</dcterms:title> <dc:contributor>Ladkin, Peter B.</dc:contributor> <dc:language>eng</dc:language> <dcterms:rights rdf:resource="http://nbn-resolving.org/urn:nbn:de:bsz:352-20140905103605204-4002607-1"/> <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> <dc:creator>Leue, Stefan</dc:creator> <dc:rights>deposit-license</dc:rights> <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> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2012-11-15T10:18:41Z</dcterms:available> <dcterms:issued>1993</dcterms:issued> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Leue On the semantics of message 207541.pdf 160

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto