基于描述逻辑的特征模型

被引：3

作者：

范少锋

张乃孝

赵新宇

机构：

[1] 北京大学信息科学系

来源：

计算机科学 | 2007年 / 01期

关键词：

描述逻辑; 特征模型; 一致性; RACER;

D O I：

暂无

中图分类号：

TP182 [专家系统、知识工程];

学科分类号：

1111 ;

摘要：

由于特征模型缺乏严格语义基础,难以对模型进行一致性推理,无法保证模型的一致性,进而影响最终软件产品的质量。本文讨论了如何使用描述逻辑对特征模型进行形式化,给出了将特征模型转化为描述逻辑ALCQI知识库的算法,通过验证转化后的知识库的一致性得到所对应特征模型的一致性。并利用描述逻辑的推理机RACER对转换得到的知识库进行推理,自动完成特征模型的一致性检查,为特征模型的一致性检验提供一种方法,实践证明这种方法具有可靠性和高效性。

引用

页码：21 / 25

页数：5

共 4 条

[1] 生成式程序设计研究概述 [J].

范少锋 ;

张乃孝 .

计算机科学, 2005, (03) :12-16+25

[2] 基于描述逻辑的主体服务匹配 [J].

史忠植 ;

蒋运承 ;

张海俊 ;

董明楷 .

计算机学报, 2004, (05) :625-635

[3] 一种面向特征的领域模型及其建模过程 [J].

张伟 ;

梅宏 .

软件学报, 2003, (08) :1345-1356

[4]

FORM: A feature-;oriented reuse method with domain-;specific reference architectures[J] . Kyo C. Kang,Sajoong Kim,Jaejoon Lee,Kijoo Kim,Euiseob Shin,Moonhang Huh.Annals of Software Engineering . 1998 (1)

← 1 →