计算机科学 ›› 2007, Vol. 34 ›› Issue (1): 21-25.
• 计算机网络与信息安全 • 上一篇 下一篇
范少锋 张乃孝 赵新宇
出版日期:
发布日期:
基金资助:
FAN Shao-Feng ,ZHANG Nai-Xiao, ZHAO Xin-Yu （Department of Information Science, Peking University, Beijing 100871）
Online:
Published:
摘要： 由于特征模型缺乏严格语义基础，难以对模型进行一致性推理，无法保证模型的一致性，进而影响最终软件产品的质量。本文讨论了如何使用描述逻辑对特征模型进行形式化，给出了将特征模型转化为描述逻辑ALCQI知识库的算法，通过验证转化后的知识库的一致性得到所对应特征模型的一致性。并利用描述逻辑的推理机RACER对转换得到的知识库进行推理，自动完成特征模型的一致性检查，为特征模型的一致性检验提供一种方法，实践证明这种方法具有可靠性和高效性。
关键词: 描述逻辑 特征模型 一致性 RACER
Abstract: It is rather difficult to perform consistency reasoning on feature models since they lack the formal semantics. Without guaranteed consistency of the feature models, the quality of the software products, based on the feature models, can not be guaranteed.
Key words: Description logic, Feature model, Consistency, RACER
范少锋 张乃孝 赵新宇. 基于描述逻辑的特征模型[J]. 计算机科学, 2007, 34(1): 21-25. https://doi.org/
FAN Shao-Feng ,ZHANG Nai-Xiao, ZHAO Xin-Yu （Department of Information Science, Peking University, Beijing 100871）. [J]. Computer Science, 2007, 34(1): 21-25. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2007/V34/I1/21
Cited
首页