Abstract
In a Message Sequence Chart (MSC) the dynamical behaviour of a number of cooperating processes is depicted. An MSC defines a partial order on the communication events between these processes. This order determines the physical architecture needed for implementing the specified behaviour, such as a FIFO buffer between each of the processes. In a systematic way, we define 50 communication models for MSC and we define what it means for an MSC to be implementable by such a model. Some of these models turn out to be equivalent, in the sense that they implement the same class of MSCs. After analysing the notion of implementability, only ten models remain, for which we develop a hierarchy.
Chapter PDF
Similar content being viewed by others
Keywords
References
Alur, R., Holzmann, G. J. and Peled, D.: 1996, An analyzer for Message Sequence Charts, Software–Concepts and Tools 17 (2), 70–77.
Ben-Abdallah, H. and Leue, S.: 1997, Syntactic detection of process divergence and non-local choice in Message Sequence Charts, in E. Brinksma (ed.), Tools and Algorithms for the Construction and Analysis of Systems, number 1217 in Lecture Notes on Computer Science, Springer Verlag, pp. 259–274.
Charron-Bost, B., Mattem, F. and Tel, G.: 1996, Synchronous, asynchronous and causally ordered communication, Distributed Computing 9 (4), 173–191.
Engels, A., Mauw, S. and Reniers, M. A.: 1997, A hierarchy of communication models for Message Sequence Charts, Technical Report CSR 97–11, Eindhoven University of Technology, Department of Computing Science.
Grabowski, J., Graubmann, P. and Rudolph, E.: 1993, Towards a Petri net based semantics definition for Message Sequence Charts, in O. Færgemand and A. Sarma (eds), SDL’93–Using Objects, Proceedings of the Sixth SDL Forum, North-Holland, pp. 179–190.
ITU-TS: 1995, ITU-TS Recommendation Z.120 Annex B: Algebraic semantics of Message Sequence Charts, ITU-TS, Geneva.
ITU-TS: 1996, ITU-TS Draft Recommendation Z.120: Message Sequence Chart 1996 (MSC96), ITU-TS, Geneva.
Ladkin, P. and Leue, S.: 1995, Interpreting message flow graphs, Formal Aspects of Computing 7 (5), 473–509.
Mauw, S. and Reniers, M. A.: 1994, An algebraic semantics of Basic Message Sequence Charts, The Computer Journal 37 (4), 269–277.
Mauw, S., Wijk, M. v. and Winter, T.: 1993, A formal semantics of synchronous Interworkings, in O. Færgemand and A. Sarma (eds), SDL’93–Using Objects, Proceedings of the Sixth SDL Forum, North-Holland, pp. 167–178.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Engels, A., Mauw, S., Reniers, M.A. (1997). A Hierarchy of Communication Models for Message Sequence Charts. In: Mizuno, T., Shiratori, N., Higashino, T., Togashi, A. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35271-8_5
Download citation
DOI: https://doi.org/10.1007/978-0-387-35271-8_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5260-1
Online ISBN: 978-0-387-35271-8
eBook Packages: Springer Book Archive