论文部分内容阅读
以国际电信联合委员会（ＩＴＵ－Ｔ）的能力集ＣＳ－２ 标准为基础，研究了智能网中业务验证技术．随着智能网的发展，用户越来越迫切的要求电信部门能够快速、经济、准确地提供所需的各项新业务．业务验证的着眼点正是为了保证生成业务的正确性，这对于高效、优质地提供各项智能网业务起着重要的作用．讨论了业务验证所需的限定性条件，针对其中的全局限定性条件的业务验证进行了分析，并提出了一种使用Ｈｏａｒｅ 逻辑验证业务逻辑的一致性、完整性和正确性的新构想．实验证明，该方法是一种行之有效的业务验证方法
Based on the competence of the International Telecommunication Union (ITU-T), the CS-2 standard, the business authentication technology in intelligent networks is studied. With the development of the intelligent network, users are pressing more and more urgently that the telecommunications department can provide all the new services needed quickly, economically and accurately. The focus of service verification is precisely to ensure the correctness of the generated services, which plays an important role in providing various intelligent network services efficiently and excellently. This paper discusses the necessary conditions for business validation, analyzes the business validation of the global constraints, and proposes a new concept of using Hoare logic to verify the consistency, completeness and correctness of the business logic. Experiments show that this method is an effective method of business verification