文档介绍：致谢
本论文的工作是在我的导师李伟生教授的悉心指导下完成的，李伟生教授严
谨的治学态度和科学的工作方法给了我极大的帮助和影响。在此衷心感谢三年来
李伟生老师对我的关心和指导。
李伟生教授悉心指导我们完成了实验室的科研工作，在学习上和生活上都给
予了我很大的关心和帮助，在此向李伟生老师表示衷心的谢意。
李伟生教授对于我的科研工作和论文都提出了许多的宝贵意见，在此表示衷
心的感谢。
在实验室工作及撰写论文期间，郭铃、赵光嗣等同学对我论文研究工作给予
了热情帮助，在此向他们表达我的感激之情。
另外也感谢我的家人，他们的理解和支持使我能够在学校专心完成我的学业。
i
北京交通大学硕士学位论文 中文摘要
中文摘要
摘要：蓝牙协议栈中的串口仿真协议位于 L2CAP 协议层和应用层协议层之间，提
供了基于 L2CAP 协议层之上的模拟串口，从而对现有使用串行线接口的应用提供
了支持。本文首先对蓝牙协议体系和串口仿真协议层进行了深入的分析，然后详
细讲述了形式化的协议软件开发方法，即通过形式化技术 SDL 语言和消息序列图
对协议进行描述和开发。
传统的协议软件开发主要采用落后的阅读协议然后手工编码的方法，这样的开
发过程耗时较长，代码质量没有保障。形式化的开发方法相对于阅读协议后直接
编码的开发方法来说，具有更高的开发效率和质量。
本文系统地使用了基于状态转换模型的形式化协议开发方法对蓝牙串口仿真
协议进行了形式化描述和实现, 详细讲述了通过 SDL 和 MSC 对协议进行描述、
验证与代码生成的过程，同时介绍了在协议实现过程中注意到的问题，并对各种
描述与验证方法进行了比较。
与传统协议开发方法相比，形式化开发方法不仅能够节省开发时间，而且能
够通过开发过程中的多次验证提高代码的质量，当然这种方法也有不足之处，需
要不断改进，才能得到更广泛的应用。
关键词：蓝牙、串口仿真、L2CAP、SPP、LAP
ii
北京交通大学硕士学位论文 ABSTRACT
ABSTRACT
ABSTRACT: As a layer in Bluetooth protocol suite, the serial port emluator protocol is
between the L2CAP layer and application layer, offers support of the
serial-using-application by serial port emulator based on the L2CAP. First, this paper
goes deep into the Bluetooth protocol suite and serial port emulator protocol, then
explain the formal method of developing protocol software which is using the formal
method SDL language and message sequence diagram.
The old method in the development of protocol software is still in use by reading
protocol specification and then coding manually, which is time-consuming and cannot
ensure good quality of source code. The formal method of developing protocol has
better quality and efficiency than the old method.
This paper explain the description and implement of Bluetooth