随着第三代移动通信技术的逐步应用以及移动通信与互联网的融合，全球已进入了移动信息时代。本文所述的CDMA2000接入网接口互操作规范(IOS)的R-P接口，就是连接无线网络和IP网络的接口。通过R-P接口，CDMA2000移动网络就能为移动用户提供访问Internet和Intranet的服务。本文首先对CDMA2000的分组网的组成及其功能、R-P接口、简单IP网络和移动IP网络作了介绍。第二章对协议形式化描述和语言进行了详细的阐述，介绍了协议工程与形式化方法。主要对文中用到的两种主要的形式化语言：MSC语言和SDL语言的规范及使用方法作了详细的描述。第三章主要阐述了CDMA2000互操作规范IOS接口的R-P接口(又称A10／A11接口)的信令处理流程。包括A11接口的消息描述，A10连接的建立、刷新、释放、更新，A10连接的计费规程，A10连接的呼叫流程几个部分。第四章描述了PCF端R-P接口协议设计的过程。包括协议设计的研究方法和设计思路，协议设计的分析和协议设计的描述。其中主要使用SDL／MSC工具集介绍了R-P接口协议系统级(system)、块级(block)、进程级(process)各个层次的设计工作。最后一章对论文进行了总结，并提出了下一步的工作内容。