J4

• 研究论文 • 上一篇    下一篇

智能网业务验证技术

马玉祥;周险峰;顾伟平   

  1. 暂时无单位信息
  • 出版日期:1999-12-20 发布日期:1999-12-20

title

Authors   

  • Online:1999-12-20 Published:1999-12-20

摘要: 以国际电信联合委员会(ITU-T)的能力集CS-2标准为基础,研究了智能网中业务验证技术。随着智能网的发展,用户越来越迫切要求电信部门能够快速、经济、准确地提供所需的各项新业务。业务验证的着眼点正是为了保证生成业务的正确性,这对于高效、优质地提供各项智能网业务起着重要的作用。讨论了业务验证所需的限定性条件,针对其中的全局限定性条件的业务验证进行了分析,并提出了一种行之有效的业务验证方法。(作者单位:西安电子科技大学 计算机学院 陕西 西安 710071)

关键词: 智能网, 业务验证, 限定性条件, Hoare逻辑

Key words: keywords

中图分类号: 

  • TP393.4