scml业务特征冲突检测

？针对业务生成标记语言scml业务脚本中存在的特征冲突问题，提出了一种基于逻辑表达和推理的，以业务生成形式规约语言scfsl形式化描述和分析特征冲突的新方法，并分别针对单业务和多业务脚本中存在的特征冲突进行了研究，提出相应特征冲突的判定规则。所提出的特征冲突检测方法可用于实现业务特征冲突检测器。