智能网业务验证技术

• 作者: 刘振宇 周险峰 李高和 顾伟平 马玉祥
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 智能网 业务验证 限定性条件 Hoare逻辑
• 年，卷（期）: 1999,（6）
• 所属期刊栏目: 学术论文和技术报告
• 页码范围: 789-792
• 分类号: TP393.4|TP913.24
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.1999.06.023

摘要

以国际电信联合委员会(ITU-T)的能力集CS-2标准为基础,研究了智能网中业务验证技术.随着智能网的发展,用户越来越迫切的要求电信部门能够快速、经济、准确地提供所需的各项新业务.业务验证的着眼点正是为了保证生成业务的正确性,这对于高效、优质地提供各项智能网业务起着重要的作用.讨论了业务验证所需的限定性条件,针对其中的全局限定性条件的业务验证进行了分析,并提出了一种使用Hoare逻辑验证业务逻辑的一致性、完整性和正确性的新构想.实验证明,该方法是一种行之有效的业务验证方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马玉祥	西安电子科技大学计算机学院	43	454	12.0	20.0
2	周险峰	西安电子科技大学计算机学院	1	0	0.0	0.0
3	顾伟平	西安电子科技大学计算机学院	1	0	0.0	0.0
4	刘振宇	西安电子科技大学计算机学院	2	1	1.0	1.0
5	李高和	西安电子科技大学计算机学院	1	0	0.0	0.0