Verification of the Capability Exchange Signalling protocol

International Journal on Software Tools for Technology Transfer

Volumn 9, Issue 3-4, 2007, Pages 305-326

  Liu, Lin ^a   Billington, Jonathan ^a  

^a UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

Capability Exchange Signalling protocol; Coloured Petri Nets; Language equivalence; Protocol verification; State space analysis

Indexed keywords

COMPUTER SIMULATION; PETRI NETS; SIGNAL PROCESSING; STATE SPACE METHODS; VERIFICATION;

CAPABILITY EXCHANGE SIGNALLING PROTOCOL; COLOURED PETRI NETS; PROTOCOL VERIFICATION; STATE SPACE ANALYSIS;

NETWORK PROTOCOLS;

EID: 34249883349     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-007-0037-y     Document Type: Article

References (40)

1. Andreasen, F., Foster, B.: Media Gateway Control Protocol (MGCP), RFC 3435. IETF (2003)
2. AT&T FSM Library™. http://www.research.att.com/sw/tools/fsm/
3. AT&T Lextools. http://www.research.att.com/sw/tools/lextools/
4. Atwood, J.W., Ghodrat, M., Tasak, D.: Using Formal Specification and observers to specify and validate the ATM signalling protocols. In: Proceedings of the 24th conference on local computer networks (LCN'99), pp. 117-120 (1999)
5. Barrett W.A., Couch J.D. (1986). Compiler Construction: Theory and Practice, 2nd edn. Science Research Associates, Chicago
6. Billington, J.: Formal specifPcation of protocols: protocol engineering. In Kent, A., Williams, J.G., Kent, R. (eds.) Encyclopedia of Microcomputers, vol. 7, pp. 299-314. Marcel Dekker, Inc., 1991
7. Billington, J., Gallasch, G.E., Han, B.: A Coloured petri net approach to protocol verification. In: Lectures on Concurrency and petri nets: Advances in Petri Nets, Lecture Notes in Computer Science, vol. 3098, pp. 210-290. Springer, Heidelberg (2004)
8. Design/CPN homepage. http://www.daimi.au.dk/designCPN/
9. Floreani, D.J., Billington, J.: Designing and verifying a communications gateway using colored petri nets and design/CPN. In: Proceedings of the 17th international conference on application and theory of petri nets (ICATPN'96), Lecture Notes in Computer Science, vol. 1091, pp. 153-171. Osaka, Springer, Heidelberg (1996)
10. Goode B. (2002). Voice over internet protocol (VoIP). Proc. IEEE 90(9): 1495-1517
11. Groves, C., Pantaleo, M., Anderson, T., Taylor, T.: RFC 3525, Gateway Control Protocol Version 1. IETF (2003)
12. H.323 Information Site. http://www.packetizer.com/voip/h323/
13. Holzmann G.J. (1990). Design and Validation of Computer Protocols. Prentice Hall, Englewood cliff
14. Hopcroft, J.E., Motwani, R., Ullman, J.D.: 2nd edn. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (2001)
15. Huecas, G., Mariz, J.L., Vinyes, J., Vazquez, E.: Specification of an ISDN Q.931 Entity Using the LOTOS Formal Description Technique. In: Proceedings of the 6th Mediterranean Electrotechnical Conference, pp. 522-525, May 1991
16. ITU-T. Recommendation G.722, 7 kHz Audio-Coding within 64 kbit/s (1988)
17. ITU-T. Recommendation H.261,Video Codec for Audiovisual Services at p 64 kbit/s (1993)
18. ITU-T. Recommendation T.120, Data protocols for multimedia conferencing (1996)
19. ITU-T. Recommendation Z.120, Message Sequence Chart (MSC) (1996)
20. ITU-T. Recommendation Q.931, ISDN user-network interface layer 3 specification for basic call control (1998)
21. ITU-T. Recommendation Z.100, Specification and Description Language (SDL) (1999)
22. ITU-T. Recommendation H.225.0, Call signalling protocols and media stream packetization for packet-based multimedia communication systems (2003)
23. ITU-T. Recommendation H.323, Packet-based multimedia communications systems (2003)
24. ITU-T. Recommendation H.245, Control protocol for multimedia communication (2005)
25. ITU-T. Recommendation H.248.1, Gateway control protocol: Version 3 (2005)
26. Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 1, 2nd edn. Springer, (1997)
27. Jones, P.E.: Overview of H.323, June 2004. http://www.packetizer.com/ voip/h323/papers/overview_of_h23.html
28. Kristensen L.M., Christensen S., Jensen K. (1998). The practitioner's guide to coloured Petri nets. Int. J. Softw. Tools Technol. Transf. 2(2): 98-132
29. Liu, L., Billington, J.: Modelling and analysis of internet multimedia protocols - Methodology and Initial Results. In: Proceedings of the 11th annual international symposium of the international council on systems engineering (INCOSE'01), CD-ROM, paper no. 3.2.4 (8 pages), Melbourne (2001)
30. Liu, L., Billington, J.: Modelling and analysis of the CES protocol of H.245. In: Proceedings of the 3rd workshop and tutorial on practical use of coloured petri nets and the CPN tools (CPN'01), pp. 95-114, Aarhus (2001)
31. Liu, L., Billington, J.: Tackling the infinite state space of a multimedia control protocol service specification. In: Proceedings of the 23rd international conference on application and theory of petri nets (ICATPN'02), Lecture Notes in Computer Science, vol. 2360, pp. 273-293. Springer, Heidelberg (2002)
32. Liu, L., Billington, J.: A Proof of the recursive formula for the infinite service language of the CES protocol. Technical report, CSEC-13, Computer Systems Engineering Centre, University of South Australia (2003) (revised in June 2004)
33. Liu, L., Billington, J.: Obtaining the service language for H.245's multimedia capability exchange signalling protocol: The final step. In: Proceedings of the 10th international multi-media modelling conference (MMM'04), pp. 323-328. Brisbane (2004)
34. Liu, L., Billington, J.: Enhancing the CES protocol and its verification. In: Proceedings of the 6th workshop and tutorial on practical use of coloured petri nets and the CPN tools (CPN'05), pp. 59-78. Aarhus (2005)
35. Radovic, R., Crkvenac, I., Srbljic, S.: Formal Definition of SIP End Systems Behavior. In: Proceedings of the International Conference on Trends in Communications, Technical Program, vol. 2, pp. 293-296 IEEE (2001)
36. Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, SJ., Sparks, R., Handley, M., Schooler, E.: SIP: session initiation protocol, RFC 3261. IETF (2002)
37. Schulzrinne, H., Agboh, C.: Internet Draft, Session Initiation Protocol (SIP)-H.323 Interworking Requirements. IETF (2003)
38. Schulzrinne, H., Casner, S., Frederick, R., Jacobson, V.: RTP: A Transport Protocol for Real-Time Applications, RFC 3550. IETF (2003)
39. Wang, L., Agarwal, A., Atwood, J.W.: Description and validation of the media gateway control protocol (MGCP) Using SDL/MSC. In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, vol. 2, pp. 993-998 IEEE (2001)
40. Wang L., Agarwal A., Atwood J.W. (2004). Modelling and verification of interworking between SIP and H.323. Comput. Netw. 45(5): 77-98