An Extension for MSC-2000 and Its Application

  • Tong Zheng
  • Ferhat Khendek
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2599)


Message Sequence Charts (MSC) is a standard language widely used in telecommunication software engineering. The latest MSC standard, MSC-2000, includes new features such as time and data. In this paper, we propose a new construct called instance delay as an extension for timed MSC to further enhance its expressiveness.We formally define the semantics of the extension based on a partial order semantics of timed MSC. We demonstrate through an application the need for this extension.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    3GPP: TS 25.331 Radio Resource Control (RRC) Protocol Specification.
  2. 2.
    Alur, R., Holzmann, G. J. and Peled, D.: An Analyzer for Message Sequence Charts. Proceedings of 2nd International Workshop on Tools and Algorithms for the construction and Analysis of Systems (TACAS’96). LNCS 1055(1996) 35–48Google Scholar
  3. 3.
    Ben-Abdallah, H. and Leue, S.: Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications. Department of Electrical and Computer Engineering, University of Waterloo. Technical Report 97-041997Google Scholar
  4. 4.
    Grabowski, J., Graubmann, P. and Rudolph, E.: HyperMSCs with Connectors for Advanced Visual System Modelling and Testing. Proceedings of 10th International SDL Forum. LNCS 2078 (2001) 129–147Google Scholar
  5. 5.
    Helouët, L.: Distributed System Modeling with Scenarios: The Example of the RMTP2 Protocol. Concordia Prestigious Workshop on Communication Software Engineering. September 2001Google Scholar
  6. 6.
    Heymer, S.: A Non-Interleaving Semantics for MSC. The 1st Workshop of the SDL Forum Society on SDL and MSC (SAM’98). 1998Google Scholar
  7. 7.
    Hogrefe, D., Koch, B. and Neukirchen, H.: Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation. Proceedings of 10th International SDL Forum. LNCS 2078 (2001) 168–181Google Scholar
  8. 8.
    Jonsson, B. and Padilla G.: An Execution Semantics for MSC-2000. Proceedings of 10th International SDL Forum. LNCS 2078 (2001) 365–378Google Scholar
  9. 10.
    Katoen, J.P. and Lambert, L.: Pomsets for Message Sequence Charts. The 1st Workshop of the SDL Forum Society on SDL and MSC (SAM’98). 1998Google Scholar
  10. 11.
    Ladkin, B.P. and Leue, S.: Interpreting Message Flow Graphs. Formal Aspects of Computing 7(5) (1995) 473–509zbMATHCrossRefGoogle Scholar
  11. 12.
    Maigat, P.L. and Helouët, L.: A (MAX, +) Approach for Time in Message Sequence Charts. 5th Workshop on Discrete Event Systems. August 2000Google Scholar
  12. 13.
    Mauw, S. and Reniers, M. A.: Operational Semantics for MSC’96. Computer Networks and ISDN Systems 31(17) (1999) 1785–1799Google Scholar
  13. 14.
    Mauw, S. and Reniers, M. A.: High-level Message Sequence Charts. SDL’97: Time for Testing-SDL, MSC and Trends. September 1997Google Scholar
  14. 15.
    Mauw, S., Reniers, M. A. and Willemse, T. A. C.: Message Sequence Charts in the Software Engineering Process. Handbook of Software Engineering and Knowledge Engineering. World Scientific Publishing Co. 1 (2001) 437–463CrossRefGoogle Scholar
  15. 16.
    The Interval Project.
  16. 17.
    Zheng, T., Khendek, F. and Helouët, L.: A Semantics for Timed MSC, Validation and Implementation of Scenario-Based Specifications (VISS’02). ENTCS 65:7 2002Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Tong Zheng
    • 1
  • Ferhat Khendek
    • 1
  1. 1.Department of Electrical and Computer EngineeringConcordia UniversityMontreal (P.Q.)Canada

Personalised recommendations