Four Issues Concerning the Semantics of Message Flow Graphs

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:ba2e5f9f2e6497d6cc7e98cb92b18350

LADKIN, Peter B., Stefan LEUE, 1995. Four Issues Concerning the Semantics of Message Flow Graphs. IFIP WG 6.1. Berne, Switzerland, Okt 1994. In: DIETER HOGREFE AND STEFAN LEUE, , ed.. Formal description techniques VII : proceedings of the 7 th IFIP WG 6.1 International Conference on Formal Description Techniques [held in Berne, Switzerland, October 1994]. IFIP WG 6.1. Berne, Switzerland, Okt 1994. London:Chapman & Hall, pp. 355-369

@inproceedings{Ladkin1995Issue-5579, title={Four Issues Concerning the Semantics of Message Flow Graphs}, year={1995}, address={London}, publisher={Chapman & Hall}, booktitle={Formal description techniques VII : proceedings of the 7 th IFIP WG 6.1 International Conference on Formal Description Techniques [held in Berne, Switzerland, October 1994]}, pages={355--369}, editor={Dieter Hogrefe and Stefan Leue}, author={Ladkin, Peter B. and Leue, Stefan} }

eng We discuss four issues concerning the semantics of Message Flow Graphs (MGFs). MFGs are extensively used as pictures of message-passing behavior. One type of MFG, Message Sequence Chart (MSC) is ITU Standard Z.120. We require that a system described by an MFG has global states with respect to its message-pasing behavior, with transitions between these states effected by atomic message-passing actions. Under this assumption, we argue (a) that the collection of global message states defined by an MFG is finite (whether fpr synchronous, asynchronous or partially-asynchronous message-passing); (b) that the unrestricted use of 'conditions' requires processes to keep control history variables of potentially unbounded size; (c) that allowing 'crossing' messages of the same type implies certain properties of the environment that are neither explicit nor desirable, and (d) that liveness properties of MFGs are more easily expressed by temporal logic formulas over the control states than by Büchi acceptance conditions over the same set of states. Ladkin, Peter B. application/pdf First publ. in: Formal description techniques VII : proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques, [held in Berne, Switzerland, October 1994] / edited by Dieter Hogrefe and Stefan Leue. London : Chapman & Hall, 1995, pp. 355-369 1995 Leue, Stefan Ladkin, Peter B. deposit-license Four Issues Concerning the Semantics of Message Flow Graphs 2011-03-24T15:56:34Z 2011-03-24T15:56:34Z Leue, Stefan

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

Four_Issues_Concerning_the_Semantics_of_Message_Flow_Graphs.pdf 68

Das Dokument erscheint in:

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

KOPS Suche


Stöbern

Mein Benutzerkonto