智能网业务逻辑验证技术的研究及其仿真实现

发布时间：2022-01-27 08:01

　　智能网业务的形式化描述技术和业务验证的理论与方法是目前智能网（IN）业务实现过程中的关键技术。它对于确保业务软件的正确性，从而能够高效、优质地提供智能网业务起着重要的作用。 本文依据国际电信联合委员会（ITU-T）的智能网能力集建议，对智能网业务的形式化描述技术（FDT）、智能网业务逻辑验证的理论与方法等进行了研究。通信有限状态机模型（CFSM）模型是由表示进程的有限状态机和表示进程之间通道的先进先出队列组成。本文给出了智能网各个功能实体的有限状态机模型图，利用CFSM模型描述了智能网业务逻辑，并给出了通过业务逻辑的CFSM模型验证业务逻辑正确性的一种方法。 本文还以终端呼叫筛选业务（TCS）为例，对智能网业务进行了设计和仿真实现。 

【文章来源】：西安电子科技大学陕西省211工程院校教育部直属院校

【文章页数】：52 页

【学位级别】：硕士

【文章目录】：
第一章 绪论
    1.1 智能网概述
    1.2 智能网业务的形式化描述与验证技术的研究现状
    1.3 本文的主要工作及贡献
第二章 智能网原理
    2.1 智能网概念模型
    2.2 智能网与现有通信网的关系
    小结
第三章 形式化描述技术及CFSM模型
    3.1 形式化描述技术
    3.2 用于描述和验证复杂系统的通信有限状态机模型
    小结
第四章 智能网业务逻辑的CFSM模型及验证
    4.1 智能网业务逻辑
    4.2 智能网呼叫状态模型
    4.3 各功能实体逻辑转移的状态机模型
    4.4 智能网业务逻辑的CFSM模型表示及其分析
    小结
第五章 智能网业务的仿真实现
    5.1 业务逻辑的系统设计
    5.2 有限状态机的设计
    5.3 TCS业务在各平面中的表示
    5.4 TCS业务的实现
    小结
结束语
致谢
作者在读期间的研究成果
参考文献


【参考文献】：
期刊论文
[1]用HOARE逻辑证明C++程序的正确性[J]. 王彩芬.  兰州大学学报. 2000(01)
[2]智能网业务验证技术[J]. 马玉祥,周险峰,顾伟平,刘振宇,李高和.  西安电子科技大学学报. 1999(06)
[3]并发系统基本模型及其分析[J]. 张广泉,戎玫,沈一栋.  重庆大学学报(自然科学版). 1998(03)
[4]CIN智能网系统[J]. 陈俊亮.  电信科学. 1997(01)
[5]智能网中业务逻辑的一种验证方法[J]. 郑彤,刘玉璋,杨放春.  北京邮电大学学报. 1996(01)
[6]智能网技术及其展望[J]. 陈俊亮.  电信科学. 1996(01)



本文编号：3612097