一种基于进程代数的协议组合形式化模型

摘要

本文探讨组合协议的组合规则和机制,用于描述和分析复杂的网络协议，提出了一种基于通信顺序进程理论的协议组合形式化模型,并在此模型基础上提出构造基本协议交互进程的一般规则,以及利用基本协议交互进程组合协议的规则，通过对典型的连接建立过程和数据传递过程的组合协议形式化描述,论证了这种协议组合形式化模型可以有效地描述协议顺序、选择和并行的组合模式。