A toolset for message sequence charts
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.
Unable to display preview. Download preview PDF.
- 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.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.G.J. Holzmann, Early Fault Detection Tools, Software Concepts and Tools, Vol. 17, No. 2, pp. 63–69, 1996.Google Scholar
- 4.ITU-T Recommendation Z.120, Message Sequence Chart (MSC), March 1993.Google Scholar
- 5.R.P. Kurshan, Computer-Aided Verification, Princeton University Press, 1994.Google Scholar
- 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.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.B. Selic, G. Gullekson, P.T. Ward, Real-Time Object-Oriented Modeling, Wiley, 1994.Google Scholar