论文部分内容阅读
本文的主要工作是在保证不影响标准区分服务协议运行的前提下，应用协议组合方法设计、实现可定制区分服务协议。在研究网络QoS机制、服务定制模型以及协议组合方法的基础上，运用CSP描述了可定制区分服务协议组合模型，并使用模型验证工具FDR验证了CSP描述的模型。并最终在Linux操作系统上实现了可定制区分服务系统。在协议的设计与实现过程中，实现了灵活自动组合协议构件的机制。
利用协议组合方法构建了一个可定制区分服务协议组合模型，这个组合模型能对协议进行设计、验证、实现。通过所实现的可定制区分服务系统，用户可以灵活地根据自己的需要参与到网络服务资源配置活动之中，很好的体现了用户的付费与他所得到的网络服务质量水平成正比的网络资源使用原则。