协议组合模型及其应用

A Protocol Composition Model and Its Applications

提出了一种基于通信顺序进程(CSP)理论的协议组合模型.该模型将协议表示为协议实体的组合,使得协议模型可以表示分解为协议实体层和协议交互层.协议可以进一步组合成复杂协议.为了准确地描述协议交互,采用实体连接点及其关联的概念取代原CSP理论中的信道概念,利用关联进程明确了协议组合过程中的交互.举例说明了该模型在利用组合单播协议研究多播协议以及描述和分析会话发起协议(SIP)方面的应用.

Protocol composition is an efficient way to design, specify, verify, implement and test the complex communication protocols. A protocol composition model based on the theory of communicating sequential processes (CSP) is proposed, which presents a protocol as a composition of protocol entities. The model consists of two layers: protocol entity layer and protocol interaction layer. In this model, protocols can be further composed into more complex protocols. In order to describe the protocol interaction, the concepts of entity connectors and their associations are used to replace the concept of channel defined in CSP. The association process is defined to clarify the interaction in protocol composition. Examples illustrate its applications in research of multicast protocol by composing unicast protocols and in describing and analyzing Session Initiate Protocol.