作　　者： ; ; ;

机构地区： 华南师范大学计算机学院

出　　处： 《计算机应用》 2009年第5期1218-1221,共4页

摘　　要： 针对业务生成标记语言SCML业务脚本中存在的特征冲突问题,提出了一种基于逻辑表达和推理的,以业务生成形式规约语言SCFSL形式化描述和分析特征冲突的新方法,并分别针对单业务和多业务脚本中存在的特征冲突进行了研究,提出相应特征冲突的判定规则。所提出的特征冲突检测方法可用于实现业务特征冲突检测器。 An approach for detecting feature interactions in Service Creation Markup Language （SCML） scripts was presented. It used a logic representation of SCML scripts and its detection rules were based on logical deduction. The Service Creation Formal Specification Language （SCFSL） was introduced to express the intentions of SCML scripts in logic format. A method for translating SCML into SFSL was put forward. The rules addressed both interactions within a single script and interactions between two scripts. An automatic feature interaction detection tool based on SCFSL was implemented to facilitate the deployment of Next Generation Network （NGN） service.

关 键 词： 下一代网络 特征冲突 检测方法 业务生成标记语言

领　　域： [自动化与计算机技术]