An Extension for MSC-2000 and Its Application
- 191 Downloads
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.
- 1.3GPP: TS 25.331 Radio Resource Control (RRC) Protocol Specification. http://www.3gpp.org.
- 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.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.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.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.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.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.Jonsson, B. and Padilla G.: An Execution Semantics for MSC-2000. Proceedings of 10th International SDL Forum. LNCS 2078 (2001) 365–378Google Scholar
- 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
- 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
- 13.Mauw, S. and Reniers, M. A.: Operational Semantics for MSC’96. Computer Networks and ISDN Systems 31(17) (1999) 1785–1799Google Scholar
- 14.Mauw, S. and Reniers, M. A.: High-level Message Sequence Charts. SDL’97: Time for Testing-SDL, MSC and Trends. September 1997Google Scholar
- 16.The Interval Project. http://www-interval.imag.fr.
- 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