期刊文献+

SIP协议组合模型的研究

Research on the Protocol Composition Model of SIP
下载PDF
导出
摘要 在传统的会话发起协议的实现中,实现软件可重用度低、不易于SIP(会话发起协议)的功能扩展,文中采用基于CSP(通信顺序进程)理论的协议组合模型将SIP协议分解成协议构件,准确地描述了SIP协议实体之间的交互,在此基础上建立了一个可以方便地、灵活地进行SIP功能扩展的SIP协议组合模型。这个组合模型首先将SIP协议分解为具有独立功能的构件协议,然后通过这些构件协议的组合来实现更多的SIP功能。这个模型解决了传统的SIP协议实现软件可重用度低、不易于进行功能扩展等缺点。同时,采用CSP对该模型进行形式化描述,从而说明通过构件协议的组合可以实现SIP的功能。 In the traditional implementation of SIP, the protocol software is hard to reuse and the functional extension for SIP is inconvenient. In this paper, a protocol composition model based on CSP theory is used to decompose SIP and this decomposition can describe protocol interaction exactly. Then, a SIP protocol implementation model which can extend SIP functions is established. In this model, SIP is decomposed into building blocks with independent functions, and more SIP functions can be provided by the composition of these building blocks. This model can resolve the problems mentioned above of SIP implementation. The model is formally described using CSP theory.
出处 《南京邮电大学学报(自然科学版)》 EI 2006年第3期14-21,共8页 Journal of Nanjing University of Posts and Telecommunications:Natural Science Edition
基金 国家自然科学基金(60273091)资助项目
关键词 协议组合 会话发起协议 构件化软件 协议实现 Protocol composition Session initiation protocol Component-based software Protocol implementation
  • 相关文献

参考文献2

二级参考文献28

  • 1[1]Singh G. A compositional approach for designing protocols[A]. Proceedings of 1st International Conference on Network Protocols[ C]. Los Alamitos, USA: IEE Computer Society, 1993.98-105.
  • 2[2]Park J, Miller R. A compositional approach for designing multifunction time-dependent protocols[A]. Proceedings of 5th International Conference on Network Protocols[ C]. Los Alamitos, USA: IEEE Computer Society, 1997. 105-112.
  • 3[3]Singh G, Buricea I, Mao Z. Composition of service specifications[A]. Proceedings of Sixth International Conference on Network Protocols[C]. Los Alamitos, USA: IEEE Computer Society, 1998.210-218.
  • 4[4]Bradley A D, Bestavros A, Kfoury A J. Systematic verification of safety properties of arbitrary network protocol compositions using CHAIN[A]. Proceedings of 11 th IEEE International Conference on Network Protocols[C]. Los Alamitos, USA: IEEE Computer Society, 2003.234-244.
  • 5[5]Hoare C A R. Communicating sequential processes[M]. Englewood Cliffs, New Jersey, USA: Prentice-Hall International, 1985.
  • 6David D Clark, Wenjia Fang. Explicit allocation of besteffort packet delivery service. IEEE/ACM Trans. Networkiring. Auzust 1998, 6(4): 362-373.
  • 7Sally Floyd, Van Jacobson. Random early detection gateways for congestion avoidance. IEEE/ACM Trans,Networking, August 1993, 1(4): 397-413.
  • 8Campbell A T, Kounavis M E, Villela D Aet al. Spawning networks. IEEE Network, July/August 1999, 13(4):16-29.
  • 9Xavier Logean, Falk Dietrich, Jean-Pierre Hubaux et al.On applying formal techniques to the development of hybrid services: Challenges and directions. IEEE Communications Maaazine, July 1999, 37(7): 132-138.
  • 10Craig Partridge,Alex C Snoeren, W Timothy Strayer et al. FIRE: Flexible Intra-AS routing environment. IEEE Journal on Selected Areas in Communications, March 2001, 19(3): 410-425.

共引文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部