本文以北邮-康佳3G终端联合实验室的合作项目“移动终端上WCDMA协议栈软件的分析与设计”为背景，主要论述了WCDMA移动终端上Layer2，数据链路层)通信协议软件的分析与设计。 　　本文从协议工程的角度出发，结合了模块化的设计思想和基于SDL，规范描述语言的形式化方法，提出了一套MFSFMI的通信协议软件建模流程，并在开发实践中得以验证。形式化方法使协议设计脱离了繁琐的编码和在线调试，让开发者更专注对协议本身的分析和设计。本文研究了移动终端的软件体系结构和协议栈软件的设计需求，重点研究了3GPP规范Uu接口的接入层，尤其是针对Layer2的MAC(MediumAccessControl，介质接入控制)、RLC，无线链路控制)子层，就其逻辑结构、功能、PDU设计、状态和原语定义等协议功能进行了深入分析，为设计WCDMA移动终端Layer2通信协议软件模型做了大量的工作。 　　在工程设计中，本文采用了成熟的商用协议软件开发平台TelelogicTau，使用其中的SDL/MSC工具集进行协议分析与设计，以Layer2RLC子层为例，详细介绍了系统级(system)、块级(block)、进程级(process)、过程级(procedure)各个层次的设计工作，对设计中的进程管理、进程间通信、状态合并、PDU定义等问题进行了深入地研究。