An extension for MSC-2000 and its application

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2599, Issue , 2003, Pages 221-232

  Zheng, Tong ^a   Khendek, Ferhat ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

ITS APPLICATIONS; MESSAGE SEQUENCE CHARTS; PARTIAL ORDER SEMANTICS; TELECOMMUNICATION SOFTWARE;

SEMANTICS;

EID: 35248831305     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36573-7_14     Document Type: Article

References (17)

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-48
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-04 1997
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-147
5. Helouët, L.: Distributed System Modeling with Scenarios: The Example of the RMTP2 Protocol. Concordia Prestigious Workshop on Communication Software Engineering. September 2001
6. Heymer, S.: A Non-Interleaving Semantics for MSC. The 1st Workshop of the SDL Forum Society on SDL and MSC (SAM'98). 1998
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-181
8. Jonsson, B. and Padilla G.: An Execution Semantics for MSC-2000. Proceedings of 10th International SDL Forum. LNCS 2078 (2001) 365-378
9. ITU-T: Message Sequence Charts - MSC-2000. ITU-T Recommendation Z.120. November 1999
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). 1998
11. Ladkin, B.P. and Leue, S.: Interpreting Message Flow Graphs. Formal Aspects of Computing 7(5) (1995) 473-509
12. Maigat, P.L. and Helouët, L.: A (MAX, +) Approach for Time in Message Sequence Charts. 5th Workshop on Discrete Event Systems. August 2000
13. Mauw, S. and Reniers, M. A.: Operational Semantics for MSC'96. Computer Networks and ISDN Systems 31(17) (1999) 1785-1799
14. Mauw, S. and Reniers, M. A.: High-level Message Sequence Charts. SDL'97: Time for Testing - SDL, MSC and Trends. September 1997
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-463
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 2002