Feature interactions detection in SCML
SCML业务特征冲突检测
Keywords: 下一代网络,特征冲突,检测方法,业务生成标记语言
Abstract:
针对业务生成标记语言SCML业务脚本中存在的特征冲突问题,提出了一种基于逻辑表达和推理的,以业务生成形式规约语言SCFSL形式化描述和分析特征冲突的新方法,并分别针对单业务和多业务脚本中存在的特征冲突进行了研究,提出相应特征冲突的判定规则.所提出的特征冲突检测方法可用于实现业务特征冲突检测器.
Full-Text
