基于SDL的蓝牙HCI协议研究与实现  

作　　者：张晓霞[1] 

机构地区：[1]汉口学院电子信息与通信工程学院,湖北武汉430212

出　　处：《汉口学院学报》2011年第1期78-82,共5页JOURNAL OF HANKOU UNIVERSITY

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

关 键 词：SDL MSC 面向对象的技术 蓝牙HCI协议 

分 类 号：TP393.04[自动化与计算机技术—计算机应用技术]