基于描述逻辑的特征语义建模及验证

• 作者: 何文民 张伟 张钰龙 沈国华 贾哲 赵子玥 金澜涛 黄志球
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 特征模型 领域工程 软件复用 模型验证 描述逻辑
• 年，卷（期）: 2013,（7）
• 所属期刊栏目: 软件工程
• 页码范围: 1501-1512
• 页数: 12页
• 分类号: TP311
• 字数: 9334字
• 语种: 中文

摘要

在软件产品线方法中,特征模型已被广泛用于获取领域需求以支持软件复用.但在一定程度上,各种方法对刻画特征模型以及特征之间约束关系存在语义上的冗余和混乱,不能有效对特征模型进行验证,也限制各种不同特征建模方法之间特征信息的共享.采用描述逻辑刻画了特征模型中的特征类、特征间关系与约束等方面,定义了特征间互斥、需要等约束的规则集合,用于对知识库中的语义特征模型实例进行一致性、完整性验证.并结合一个具体领域,对基于描述逻辑的特征建模及推理验证进行了详细论述.此研究对于领域特征模型的语义建模与验证、支持领域模型共享具有一定的指导作用.