下一代网络是电信网络发展的方向，业务控制方式和业务提供方式是下一代网络研究的重要内容。业务和传输的分离是下一代网络的基本特征，如何控制传输网络，支持开放业务开发，向用户提供灵活、丰富的业务是下一代网络中需要解决的重要问题。但目前电信网络存在业务开发和运营不开放、与具体的承载网络绑定、业务客户化能力低等固有缺陷，这些缺陷已经严重阻碍了电信增值业务的进一步发展，成为困绕电信运营商的一大难题。而以开放性、分布性和综合性为主要特征的下一代网络(NGN：Next Generation Networks)技术正在深刻地改变着传统电信网的观念和体系结构，同时也掀起了研究分析下一代网络体系结构的技术浪潮。目前，在下一代网络中，业务将非常丰富，业务的正确性和安全性对网络实体很重要，网络实体在加载业务之前，必须验证业务的正确性和安全性，SIP协议将在下一代网络中得到广泛应用。本课题的主要研究方向是：下一代网络技术的发展及业务控制技术SIP协议建模。本论文完成了以下研究工作：研究分析了网络的体系结构、智能网的特点、TINA、GII、ICA、Grid Computing等的优势及不足之处，得到了以下结论：在组织结构方面，下一代网络分为网络域、业务域和管理域：在网络层次方面，下一代网络分为网络层、中间件和业务层；并且从分组交换、QoS保证、会话控制、业务网四个方面对下一代网络做了进一步的研究。在对下一代网络研究分析的基础上，使用形式化建模语言mCRL，对基于SIP的会话控制系统的UA、UI端业务进行了建模；使用mCRL编辑器对建模结果进行编辑生成状态转移图；使用CADP工具集对转移图进行分析，并对建模结果进行了验证。