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

摘要：

提出了一种用Prolog语言描述NGN中电信业务交互的静态检测方法.根据上述方法,用Visual Prolog描述业务交互并对状态可达目标进行求解,实现对业务之间的特性冲突检测.在描述了用该方法的原理后.通过案例详细介绍了对电信业务建模并检测的冲突的过程.

关键词： 下一代网络 业务特性 冲突检测 有限状态机 Prolog语言 静态检测

作者: 文秋梅

作者单位: 华南理工大学电子与信息学院 510640

会议类型: 国内会议

会议名称: 第六届中国通信集成电路技术与应用研讨会

会议地点: 苏州

会议语种:中文

页码: 24-32

在线出版日期: 2008-09-16（万方平台首次上网日期，不代表论文的发表时间）