| 绪论 | 第1-18页 |
| 1 研究工作的背景和意义 | 第14页 |
| 2 主要研究工作 | 第14-16页 |
| 3 论文的结构和主要内容 | 第16-18页 |
| 第一章 下一代网络业务控制能力研究综述 | 第18-39页 |
| ·下一代网络技术概述 | 第18-24页 |
| ·下一代网络的基本概念 | 第18-20页 |
| ·下一代网络的体系结构 | 第20-22页 |
| ·下一代网络的研究现状 | 第22-24页 |
| ·下一代网络业务控制能力研究概述 | 第24-34页 |
| ·下一代网络业务控制能力内容研究现状 | 第24-26页 |
| ·下一代网络业务控制能力提供模型概述 | 第26-29页 |
| ·下一代网络业务控制能力描述方法研究概述 | 第29-33页 |
| ·DFC | 第30页 |
| ·ANISE与CRESS | 第30-31页 |
| ·MTS | 第31页 |
| ·形式化描述技术 | 第31-33页 |
| ·目前研究成果的现状与发展趋势 | 第33-34页 |
| ·本章小结 | 第34-35页 |
| ·参考文献 | 第35-39页 |
| 第二章 下一代网络业务控制能力的分析 | 第39-60页 |
| ·NGN业务分类 | 第39-45页 |
| ·面向业务使用者／管理者的业务分类 | 第39-43页 |
| ·按基本属性和提供方式分类 | 第40页 |
| ·按功能特征分类 | 第40页 |
| ·按通信属性分类 | 第40-41页 |
| ·按会话控制分类 | 第41-42页 |
| ·按通信角色分类 | 第42-43页 |
| ·面向业务开发者／管理者的业务分类 | 第43-45页 |
| ·适用于NGN的业务分类 | 第43-45页 |
| ·NGN业务控制能力集合 | 第45-52页 |
| ·呼叫类业务控制能力 | 第47-48页 |
| ·承载类业务控制能力 | 第48-49页 |
| ·用户属性信息类业务控制能力 | 第49-51页 |
| ·消息类业务控制能力 | 第51-52页 |
| ·NGN业务控制能力的提供 | 第52-57页 |
| ·传统电信网控制智能的局限性分析 | 第53-55页 |
| ·下一代网络控制智能分析 | 第55-57页 |
| ·本章小结 | 第57页 |
| ·参考文献 | 第57-60页 |
| 第三章 一个通用的业务描述模型 | 第60-78页 |
| ·通用的业务描述模型的必要性 | 第60-61页 |
| ·业务描述模型研究现状 | 第61-62页 |
| ·一个通用的业务描述模型 | 第62-70页 |
| ·端点 | 第63-64页 |
| ·通信链接 | 第64-65页 |
| ·用户与通信链接的关联 | 第65-66页 |
| ·通信链接之间的关联 | 第66-67页 |
| ·通用业务描述模型的状态转移 | 第67-70页 |
| ·多媒体业务描述实例 | 第70-73页 |
| ·与其它描述模型的比较 | 第73-75页 |
| ·本章小结 | 第75页 |
| ·参考文献 | 第75-78页 |
| 第四章 基于软交换的会话控制模型与通用业务视图 | 第78-103页 |
| ·开放的业务接口与通用的业务提供体系结构 | 第78-84页 |
| ·基于协议的业务提供 | 第78-79页 |
| ·INAP协议 | 第78-79页 |
| ·SIP协议 | 第79页 |
| ·基于API的业务提供 | 第79-81页 |
| ·Parlay API介绍 | 第80-81页 |
| ·JAIN介绍 | 第81页 |
| ·Joint API介绍 | 第81页 |
| ·基于脚本的业务提供 | 第81-83页 |
| ·CPL语言 | 第82页 |
| ·VoiceXML | 第82页 |
| ·CCXML | 第82-83页 |
| ·XTML | 第83页 |
| ·通用的业务提供体系结构 | 第83-84页 |
| ·通用业务视图与会话控制模型的功能需求 | 第84-85页 |
| ·业务逻辑控制需求 | 第84-85页 |
| ·软交换系统所提供的能力范围 | 第85页 |
| ·现有业务视图与会话控制模型介绍 | 第85-88页 |
| ·窄带智能网 | 第86页 |
| ·宽带智能网 | 第86-87页 |
| ·Parlay API | 第87-88页 |
| ·TINA | 第88页 |
| ·基于软交换的会话控制模型与通用业务视图 | 第88-94页 |
| ·呼叫模型的基本思想 | 第88-89页 |
| ·基于软交换的呼叫关系模型与业务视图 | 第89-93页 |
| ·业务视图提供的控制能力 | 第93-94页 |
| ·基于SBS-CRM／GSV的通用业务提供体系结构 | 第94页 |
| ·SBS-CRM／GSV应用说明及业务举例 | 第94-98页 |
| ·应用发起的两方通话 | 第94-95页 |
| ·呼叫转移 | 第95-96页 |
| ·三方通话 | 第96-97页 |
| ·应用发起的Dial Out会议 | 第97-98页 |
| ·与现有控制模型／视图的比较 | 第98-99页 |
| ·本章小结 | 第99-100页 |
| ·参考文献 | 第100-103页 |
| 第五章 基于软交换的一种通用呼叫状态模型 | 第103-126页 |
| ·呼叫状态模型的功能需求 | 第103-104页 |
| ·呼叫状态模型的研究现状 | 第104-107页 |
| ·窄带智能网中的BCSM模型 | 第104-105页 |
| ·移动智能网中的控制模型 | 第105页 |
| ·宽带智能网的控制模型 | 第105-106页 |
| ·VoIP中的呼叫模型 | 第106-107页 |
| ·一种通用的呼叫状态模型 | 第107-114页 |
| ·信令链接控制模型 | 第109-111页 |
| ·承载控制模型 | 第111-114页 |
| ·模型间的指示关系 | 第114页 |
| ·基于呼叫状态模型的呼叫流程 | 第114-120页 |
| ·呼叫建立流程 | 第115-118页 |
| ·SIP协议—Invite携带SDP | 第115-116页 |
| ·SIP协议—Invite没有携带SDP | 第116-117页 |
| ·H.323协议—Normal方式 | 第117-118页 |
| ·呼叫过程中修改媒体链接 | 第118-119页 |
| ·SIP协议—修改原有媒体链接 | 第118页 |
| ·SIP协议—新建一条媒体链接 | 第118-119页 |
| ·H.323协议—新建一条媒体链接 | 第119页 |
| ·呼叫结束流程 | 第119-120页 |
| ·SIP协议 | 第119-120页 |
| ·H.323协议 | 第120页 |
| ·呼叫状态模型在IMS中的应用 | 第120-121页 |
| ·与其他控制模型的比较 | 第121-122页 |
| ·本章小结 | 第122-123页 |
| ·参考文献 | 第123-126页 |
| 第六章 NGN业务的形式化描述与验证 | 第126-171页 |
| ·引言 | 第126-127页 |
| ·时态逻辑简介 | 第127-138页 |
| ·时态逻辑的起源 | 第127-128页 |
| ·时态逻辑的分类 | 第128页 |
| ·系统的两个主要属性 | 第128-129页 |
| ·TLA简介 | 第129-138页 |
| ·TLA元素 | 第130-131页 |
| ·TLA公式 | 第131-132页 |
| ·描述系统的TLA公式 | 第132-135页 |
| ·TLA的推理规则 | 第135-138页 |
| ·TLA的特点与局限性 | 第138页 |
| ·本文使用的TLA的描述规则与方法 | 第138-140页 |
| ·业务动态行为的形式化描述 | 第140-150页 |
| ·集合定义 | 第140-141页 |
| ·常量定义 | 第141页 |
| ·函数定义 | 第141页 |
| ·谓词定义 | 第141-143页 |
| ·操作定义 | 第143-149页 |
| ·公式定义 | 第149-150页 |
| ·业务控制能力的形式化描述 | 第150-161页 |
| ·集合定义 | 第150页 |
| ·常量定义 | 第150-151页 |
| ·谓词定义 | 第151-152页 |
| ·操作定义 | 第152-160页 |
| ·活性属性公式定义 | 第160-161页 |
| ·公式定义 | 第161页 |
| ·NGN业务提供的形式化验证 | 第161-166页 |
| ·变量映射规则 | 第162页 |
| ·初始化条件证明 | 第162页 |
| ·安全属性的不变量 | 第162-163页 |
| ·不变量的证明 | 第163页 |
| ·业务动态行为的证明 | 第163-166页 |
| ·最后一步 | 第166页 |
| ·本章小结 | 第166-167页 |
| ·参考文献 | 第167-169页 |
| 附录：本章公式中使用的缩写符号 | 第169-171页 |
| 第七章 结束语 | 第171-174页 |
| ·论文总结 | 第171-172页 |
| ·进一步的研究工作 | 第172-174页 |
| 致谢 | 第174-175页 |
| 攻读博士学位期间发表的论文 | 第175页 |