论文部分内容阅读
简要介绍形式化描述语言SDL及其面向对象技术等特性,在此基础上,采用SDL语言对蓝牙HCI协议进行形式化设计,给出了协议的SDL系统级、功能块级和进程级详细描述,并对所开发HCI协议系统的语法语义和逻辑正确性进行仿真和验证。重点探索如何利用面向对象的技术对协议进行形式化开发,以及如何结合MSC对协议系统进行分析和验证。