| 第一章 绪论 | 第1-11页 |
| 1．1 智能网概述 | 第6-7页 |
| 1．2 智能网业务的形式化描述与验证技术的研究现状 | 第7-9页 |
| 1．3 本文的主要工作及贡献 | 第9-11页 |
| 第二章 智能网原理 | 第11-17页 |
| 2．1 智能网概念模型 | 第11-15页 |
| 2．2 智能网与现有通信网的关系 | 第15-16页 |
| 小结 | 第16-17页 |
| 第三章 形式化描述技术及CFSM模型 | 第17-26页 |
| 3．1 形式化描述技术 | 第17-22页 |
| 3．2 用于描述和验证复杂系统的通信有限状态机模型 | 第22-25页 |
| 小结 | 第25-26页 |
| 第四章 智能网业务逻辑的CFSM模型及验证 | 第26-38页 |
| 4．1 智能网业务逻辑 | 第26页 |
| 4．2 智能网呼叫状态模型 | 第26-29页 |
| 4．3 各功能实体逻辑转移的状态机模型 | 第29-34页 |
| 4．4 智能网业务逻辑的CFSM模型表示及其分析 | 第34-37页 |
| 小结 | 第37-38页 |
| 第五章 智能网业务的仿真实现 | 第38-48页 |
| 5．1 业务逻辑的系统设计 | 第38-39页 |
| 5．2 有限状态机的设计 | 第39-41页 |
| 5．3 TCS业务在各平面中的表示 | 第41-42页 |
| 5．4 TCS业务的实现 | 第42-46页 |
| 小结 | 第46-48页 |
| 结束语 | 第48-49页 |
| 致谢 | 第49-50页 |
| 作者在读期间的研究成果 | 第50-51页 |
| 参考文献 | 第51-52页 |