首页> 中文会议>第六届中国通信集成电路技术与应用研讨会 >基于PROLOG语言的NGN业务特性冲突自动检测

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

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《第六届中国通信集成电路技术与应用研讨会》|2008年|24-32|共9页
会议地点苏州
作者

展开▼
作者单位

中国通信学会;

中国电子学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类网络安全;
关键词
下一代网络; 业务特性; 冲突检测; 有限状态机; Prolog语言; 静态检测;
入库时间 2022-08-17 11:08:29

相似文献

中文文献
外文文献
专利

1. 陶氏环氧产品业务部推出PROLOGIC^TM特种环氧材料 [J] . . 现代塑料 . 2009,第5期
2. "中国电信宽乐通信业务系统研究与应用"和"基于NGN网络的一号双机业务研发与应用"项目简介 [J] . 中国电信股份有限公司广州研究院 . 广东科技 . 2009,第017期
3. 一种基于Prolog的时间约束业务流程验证方法 [J] . 陈鹤文 ,周勇 ,燕雪峰 . 计算机科学 . 2016,第006期
4. 基于Prolog语言的装备维修决策专家系统设计与开发 [J] . 王广彦 ,胡起伟 ,王亚彬 . 微计算机信息 . 2012,第007期
5. 基于Prolog语言的小型动物分类专家系统的研究与应用 [J] . 郜晓晶 . 内蒙古农业大学学报：自然科学版 . 2012,第1期
6. Prolog.Ic—prolog、Parlog语言中对过程参数处理方法的比较 [C] . . PROLOG语言学术讨论会 . -1
7. 基于业务逻辑重构的NGN业务特性冲突动态检测算法的研究 [A] . 王嘉晋 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号