Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
3GPP: TS 25.331 Radio Resource Control (RRC) Protocol Specification. http://www.3gpp.org.
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–48
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-041997
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–147
Helouët, L.: Distributed System Modeling with Scenarios: The Example of the RMTP2 Protocol. Concordia Prestigious Workshop on Communication Software Engineering. September 2001
Heymer, S.: A Non-Interleaving Semantics for MSC. The 1st Workshop of the SDL Forum Society on SDL and MSC (SAM’98). 1998
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–181
Jonsson, B. and Padilla G.: An Execution Semantics for MSC-2000. Proceedings of 10th International SDL Forum. LNCS 2078 (2001) 365–378
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). 1998
Ladkin, B.P. and Leue, S.: Interpreting Message Flow Graphs. Formal Aspects of Computing 7(5) (1995) 473–509
Maigat, P.L. and Helouët, L.: A (MAX, +) Approach for Time in Message Sequence Charts. 5th Workshop on Discrete Event Systems. August 2000
Mauw, S. and Reniers, M. A.: Operational Semantics for MSC’96. Computer Networks and ISDN Systems 31(17) (1999) 1785–1799
Mauw, S. and Reniers, M. A.: High-level Message Sequence Charts. SDL’97: Time for Testing-SDL, MSC and Trends. September 1997
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–463
The Interval Project. http://www-interval.imag.fr.
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 2002
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zheng, T., Khendek, F. (2003). An Extension for MSC-2000 and Its Application. In: Sherratt, E. (eds) Telecommunications and beyond: The BroaderApplicability of SDL and MSC. SAM 2002. Lecture Notes in Computer Science, vol 2599. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36573-7_14
Download citation
DOI: https://doi.org/10.1007/3-540-36573-7_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00877-4
Online ISBN: 978-3-540-36573-0
eBook Packages: Springer Book Archive