协议组合模型及其应用

摘要

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