Abstract
Message Sequence Charts (MSCs) are a graphical and textual language for the specification of message passing systems, in particular telecommunication systems. MSCs are standardised by the Internal Telecommunication Union in standard Z.120. Included in the standard is a formal semantics for MSCs by means of a process algebra. This semantics covers the complete language of single MSCs but lacks an interpretation for conditions which are used as continuation points of MSCs within an MSC document (a collection of MSCs). In this paper, we give a process algebraic semantics for basic MSCs including conditions, enabling the formal interpretation of entire MSC documents.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35394-4_29
Chapter PDF
Similar content being viewed by others
Keywords
- Unify Modeling Language
- Operational Semantic
- Formal Semantic
- Sequential Composition
- Parallel Composition
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
J. C. M. Baeten and W. P. Weijland. Process Algebra. Cambridge University Press, 1990.
S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. J. ACM, 31 (3): 560–599, July 1984.
N. Busi, R. Gorrieri, and G. Zavattaro. A Process Algebraic View of Linda Coordination Primitives. Technical Report UBLCS-97–6, University of Bologna, May 1997. To appear in: Theoretical Computer Science.
T. Elrad and N. Francez. Decomposition of distributed progams into communication closed layers. Science of Computer Programming, 2, 1982.
T. Gehrke, M. Huhn, A. Rensink, and H. Wehrheim. An Algebraic Semantics for Message Sequence Chart Documents. Hildesheimer Informatik-Bericht 5/98, Universität Hildesheim, Institut für Informatik, May 1998.
P. Graubmann, E. Rudolph, and J. Grabowski. Towards a Petri Net Based Semantics Definition for Message Sequence Charts. In Proceedings of the 6th SDL Forum (SDL ‘83), 1993.
International Telecommunication Union. Message Sequence Chart (MSC),z.120 edition, 1996.
W. Janssen and J. Zwiers. From sequential layers to distributed processes. In Principles of Distributed Computing, pp. 215–227. ACM, 1992.
B. Jonsson and J. Parrow, eds., Concur ‘84: Concurrency Theory, volume 836 of Lecture Notes in Computer Science. Springer-Verlag, 1994.
P. Ladkin and S. Leue. Interpreting message flow graphs. Formal Aspects of Computing, 7 (5): 473–509, 1995.
P. B. Ladkin and S. Leue. What do Message Sequence Charts mean? In R. L. Tenney, P. D. Amer, and M. U. Uyar, eds., Formal Description Techniques VI, IFIP Transactions C, pp. 301–316. North-Holland, 1994.
P. B. Ladkin and S. Leue. Four issues concerning the semantics of Message Flow Graphs. In D. Hogrefe and S. Leue, eds., Formal Description Techniques VII, pp. 355–369. Chapman and Hall, 1995.
S. Mauw and M. Reniers. An Algebraic Semantics of Basic Message Sequence Charts. The Computer Journal, 37 (4): 269–277, 1994.
S. Mauw and M. Reniers. High-level message sequence charts. In A.Cavalli and A.Sarma, eds., SDL’97: Time for testing - SDL, MSC and Trends. Elsevier, 1997.
S. Mauw, M. v. Wijk, and T. Winter. A formal semantics of synchronous Interworkings. In O. Færgemand and A. Sarma, eds., SDL’93: Using Objects, pp. 167–178, North-Holland, 1993.
R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
A. Olsen, O. Færgemand, B. Moller-Pedersen, R. Reed, and J. Smith. Systems Engineering Using SDL-92. North Holland, 1994.
Rational Software Corporation. UML Notation Guide - version 1.1,Sept. 1997. URL: http://www.rational.com/uml.
A. Rensink and H. Wehrheim. Weak sequential composition in process algebras. In Jonsson and Parrow [9], pp. 226–241.
C. Verhoef. A congruence theorem for structured operational semantics with predicates and negative premises. In Jonsson and Parrow [9], pp. 433–448.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Gehrke, T., Huhn, M., Rensink, A., Wehrheim, H. (1998). An Algebraic Semantics for Message Sequence Chart Documents. In: Budkowski, S., Cavalli, A., Najm, E. (eds) Formal Description Techniques and Protocol Specification, Testing and Verification. PSTV FORTE 1998 1998. IFIP — The International Federation for Information Processing, vol 6. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35394-4_1
Download citation
DOI: https://doi.org/10.1007/978-0-387-35394-4_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5262-5
Online ISBN: 978-0-387-35394-4
eBook Packages: Springer Book Archive