基于PROLOG语言的NGN业务特性冲突自动检测.pdfVIP

嬲中国通信集成电路技术与应用研讨会论文集 CCIC2008 基于PROLOG语言的NGN业务特性冲突自动检测 文秋梅 (华南理工大学电子与信息学院510640) 摘要：提}l{了一种用Prolog语言描述NGN中电信业务交互的静态检测方法。根据上述方法，用VisualProlog描 述业务交互并对状态可达目标迸行求解，实现对业务之间的特性冲突检测。在描述了用该方法的原理后。通过案例 详细介绍丫对电信业务建模并检测的冲突的过程。 关键字：下一代网络；业务特性冲突检测；有限状态机：Prolog语言 NGN AutomaticDetectionBasedOn FeatureInteraction PROLOG Language 一 一 of service detectioninNGN was onthe Abstract：An static interaction approach systemproposedbyProioglanguage．Base the CallServiceModelmadeFiniteState featureinteractionsaledetected Visual by Machine，their byusing Prolog．The in are to the ofthe ofthe hasbeen detailandtwoillus扭afivecases effectiveness principleapproach present givenclarify method． words：NextGeneration State Key Network(NG№；featureinteraction；FiniteMachine；Pmloglanguage 1、前言 随着NGN(卞一代网络)的演进，业务、呼叫控制和承载相互分离，电信业务市场将更加开放， 允许第三方提供业务。由于NGN增值业务的不断增多，电信系统也成为一个多业务并存、融合的 庞大系统，业务特性冲突问题成为制约其发展的主要瓶颈。许多专家对电信系统中的业务特性冲突 问题进行了深入的研究，其中业务特性冲突检测技术的研究最为深入和广泛，并提出诸如形式化描述 和形式化验证、仿真测试等许多业务特性冲突检测方法【lJ。本文提出～种利用Prolog描述业务逻辑 并进行业务特性冲突自动检测的静态检测方法。 2、NGN中的业务特性冲突及PROLOG语言 2．1 NGN中的业务特性冲突 业务特性冲突(featureinteraction，简称FI)定义为由于不同的业务特性对同一呼叫过程的控制， 当多个增值业务部署在电信网络中时，业务特性之间可能会出现与单个业务特性运行时行为不一致 甚至相互矛盾的现象。造成业务特性冲突的根本原因是由于某一业务在执行过程中，它所需要的资源 与其它业务的需求发生竞争，从而造成该业务的最终执行结果与业务设计者的要求不符，未完成预期 的功能‘21。 NGN是一个基于分组的网络，以IP协议为基础的多网融合成为NGN的主要特征。同时电信业 务也由单～的传统POTS业务发展到POTS业务、补充业务、智能网业务、移动业务、宽带业务和 gOOg中国通信集成电路技术与应用研讨会论文集 CCIC2008 Intemet相关业务等多种业务并存和融合的局面【2】．NGN业务与当前电信业务有两点显著不同：一 是它不局限于语音，而向数据领域扩