What Do Message Sequence Charts Mean?

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:442129cbf581e59ff521cc4a15aa063e

LADKIN, Peter B., Stefan LEUE, 1994. What Do Message Sequence Charts Mean?. IFIP TC6/WG6.1. Boston, MA, U.S.A., 26. Okt 1993 - 29. Okt 1993. In: TENNEY, Richard L., ed. and others. Formal description techniques, VI : proceedings of the IFIP TC6 / WG6.1 sixth International Conference on Formal Description Techniques, FORTE ' 93, Boston, MA, U.S.A., 26 - 29 October, 1993. IFIP TC6/WG6.1. Boston, MA, U.S.A., 26. Okt 1993 - 29. Okt 1993. Amsterdam:North Holland, pp. 301-316

@inproceedings{Ladkin1994Messa-5546, title={What Do Message Sequence Charts Mean?}, year={1994}, address={Amsterdam}, publisher={North Holland}, booktitle={Formal description techniques, VI : proceedings of the IFIP TC6 / WG6.1 sixth International Conference on Formal Description Techniques, FORTE ' 93, Boston, MA, U.S.A., 26 - 29 October, 1993}, pages={301--316}, editor={Tenney, Richard L.}, 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/5546"> <dc:format>application/pdf</dc:format> <dc:rights>deposit-license</dc:rights> <dcterms:bibliographicCitation>First publ. in: Formal description techniques, VI : proceedings of the IFIP TC6/WG6.1 sixth International Conference on Formal Description Techniques, FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993 / ed. by Richard L. Tenney ... Amsterdam : North Holland, 1994, pp. 301-316</dcterms:bibliographicCitation> <dc:contributor>Ladkin, Peter B.</dc:contributor> <dc:creator>Ladkin, Peter B.</dc:creator> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:56:20Z</dcterms:available> <dcterms:issued>1994</dcterms:issued> <dc:creator>Leue, Stefan</dc:creator> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:56:20Z</dc:date> <dc:language>eng</dc:language> <dcterms:title>What Do Message Sequence Charts Mean?</dcterms:title> <dcterms:rights rdf:resource="https://creativecommons.org/licenses/by-nc-nd/2.0/legalcode"/> <dcterms:abstract xml:lang="eng">We propose a semantics for Message Sequence Charts (MSCs). Our requirements are: to determine unambiguously which executions traces are allowed by an MSC; and to use a finite-state interpretation. Our semantics handles both synchronous and asynchronous communication. We define a global state automaton from an MSC, by first defining a transition system of global states, and from that a Büchi automaton. In using MSCs, properties of the environment and liveness properties of the MSC itself may be underspecified. We propose a method using temporal logic formulas to specify the required liveness properties.</dcterms:abstract> <dc:contributor>Leue, Stefan</dc:contributor> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/5546"/> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

What_Do_Message_Sequence_Charts_Mean.pdf 100

Das Dokument erscheint in:

deposit-license Solange nicht anders angezeigt, wird die Lizenz wie folgt beschrieben: deposit-license

KOPS Suche


Stöbern

Mein Benutzerkonto