A toolset for message sequence charts

  • Doron A. Peled
Tool Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1427)


Message Sequence Charts (MSCs) are a popular graphical notation for describing communication protocols. MSCs enjoy an international standard (ITU-Z120) and a growing number of tools include an MSC interface for either displaying simulation or verification results, or testing the inclusion of a particular scenario in the design. We describe here a toolset that was developed to help designing a system using the MSC notation. The toolset allows creating an MSC description of a design for communication systems, and performing some verification tasks on the design.


  1. 1.
    R. Alur, G.J. Holzmann, D. Peled. An Analyzer for Message Sequence Charts. Software Concepts and Tools, Vol. 17, No. 2, pp. 70–77, 1996.Google Scholar
  2. 2.
    A. Ek, J. Grabowski, D. Hogrefer, R. Jerome, B. Kosh, M. Schmitt, SDL'97, Time for testing: SDL, MSC and Trends, Proceedings of the 8th DSL Forum, Elsevier, France, 23–26, 1997.Google Scholar
  3. 3.
    G.J. Holzmann, Early Fault Detection Tools, Software Concepts and Tools, Vol. 17, No. 2, pp. 63–69, 1996.Google Scholar
  4. 4.
    ITU-T Recommendation Z.120, Message Sequence Chart (MSC), March 1993.Google Scholar
  5. 5.
    R.P. Kurshan, Computer-Aided Verification, Princeton University Press, 1994.Google Scholar
  6. 6.
    V. Levin, D. Peled. Verification of Message Sequence Charts via Template Matching, TAPSOFT (FASE)'97, Theory and Practice of Software Development, Lille, France. Lecture Notes in Computer Science. Springer, 1997.Google Scholar
  7. 7.
    A. Muscholl, D. Peled, Z. Su, Deciding Properties for Message Sequence Charts, FoSSaCS, Foundations of Software Science and Computation Structures, Lisbon, Portugal.Google Scholar
  8. 8.
    B. Selic, G. Gullekson, P.T. Ward, Real-Time Object-Oriented Modeling, Wiley, 1994.Google Scholar
  9. 9.
    S. Warshall. A theorem on boolean matrices. Journal of the ACM, 9 (1962), pp. 11–12.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Doron A. Peled
    • 1
  1. 1.Bell LaboratoriesMurray HillUSA

Personalised recommendations