论文部分内容阅读
通信协议形式化是提高其可靠性和正确性的重要手段。会话初始协议SIP是软交换的一个主要协议，应用形式化方法研究了SIP协议的结构及系统模型，主要从系统级和功能级上使用形式化规格描述语言SDL和消息顺序图MSC对SIP协议主要系统组件进行形式化描述，得到了SIP协议的形式化规范，并应用形式化方法进行了验证。为SIP协议部件库研究开发提供形式化技术基础。