论文部分内容阅读
针对业务生成标记语言SCML业务脚本中存在的特征冲突问题,提出了一种基于逻辑表达和推理的,以业务生成形式规约语言SCFSL形式化描述和分析特征冲突的新方法,并分别针对单业务和多业务脚本中存在的特征冲突进行了研究,提出相应特征冲突的判定规则。所提出的特征冲突检测方法可用于实现业务特征冲突检测器。
SCML业务特征冲突检测
【摘 要】
：
针对业务生成标记语言SCML业务脚本中存在的特征冲突问题,提出了一种基于逻辑表达和推理的,以业务生成形式规约语言SCFSL形式化描述和分析特征冲突的新方法,并分别针对单业务和多业务脚本中存在的特征冲突进行了研究,提出相应特征冲突的判定规则。所提出的特征冲突检测方法可用于实现业务特征冲突检测器。
【机 构】
：
华南师范大学计算机学院
【出 处】
：
计算机应用
【发表日期】
：
2009年05期
其他文献
作为国民经济主体的制造业,其创新效率的持续提升对我国实现《制造业2025》蓝图有重要意义。基于DEA模型对我国先进制造业的技术创新效率进行评价,结果表明我国先进制造业处
唐君毅认为西方哲学、印度哲学对因果问题的解释主要有经验主义和理性主义两种思路。在批判二者的基础上，唐先生提出可以用中国传统思想中的“易道精神与阴阳观念”来理解诠释
新时期高校治理体系面临各种严峻挑战,各种新矛盾不断激发。创新协商民主机制是解决这一问题的关键。人民内部矛盾理论的提出对新生的共和国具有重要意义,它的基本精神对于破