电信增值业务是运营商新的经济增长点。随着电信运营商的增值业务提供方式由传统的PSTN向智能网(Intelligent Network)以及下一代网络NGN(Next Generation Network)演进,增值业务的设计趋向于独立于运营商,这导致大量电信业务设计者的出现和电信业务数量的快速增长。可以预见,业务特性冲突(FI,Feature Interaction)问题将随着业务数量的增多业务提供方式的复杂性而越趋严重。 业务特性冲突检测方案分为静态检测以及动态检测两类,其中,可达性(Rechability)分析是静态检测常用的方法之一,但对于电信网络这样复杂的系统,容易引起状态空间爆炸问题。本文通过将人工智能领域语言Prolog引入到业务特性冲突领域,利用Prolog的特性在形式语言的表达能力及自动推导能力,使得对状态空间进行搜索成为可能。为了能够让Prolog更加适合于描述业务特性冲突,本文提出了Prolog的变种FiProlog,设计和实现了其解析器及推理引擎,在此基础之上给出了基于FiProlog的可达性分析算法以及基于FiProlog可达性分析的业务特性冲突检测方法,并给出了检测的实例。 为了更好地结合静态检测与动态检测方法的优点,在FiProlog工作的基础上,本文提出了静态动态混合冲突检测的网络体系结构的设想,该网络体系结构较好地结合了静态检测与动态检测各自的优点。 本文提出的研究思路将有利于静态检测方案中的状态空间搜索方法的近一步工作展开,而混合检测的思想可结合静态检测与动态检测各自的优势,为NGN业务特性冲突的检测提供了一个新的思路。