%0 Journal Article
%T Feature interactions detection in SCML
SCML业务特征冲突检测
%A HUANG Xing-ping
%A FAN Bing-bing
%A ZHANG Qi-zhi
%A
黄兴平
%A 范冰冰
%A 张奇支
%J 计算机应用
%D 2009
%I
%X 针对业务生成标记语言SCML业务脚本中存在的特征冲突问题,提出了一种基于逻辑表达和推理的,以业务生成形式规约语言SCFSL形式化描述和分析特征冲突的新方法,并分别针对单业务和多业务脚本中存在的特征冲突进行了研究,提出相应特征冲突的判定规则.所提出的特征冲突检测方法可用于实现业务特征冲突检测器.
%K 下一代网络
%K 特征冲突
%K 检测方法
%K 业务生成标记语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=2E03FDFAB7EF8C6E9B9E2E32B4CCFD84&yid=DE12191FBD62783C&vid=771469D9D58C34FF&iid=94C357A881DFC066&sid=E2F55FDAFC844F27&eid=EC37857E7CB2811A&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=13