在软件产品线方法中,特征模型已被广泛用于获取领域需求以支持软件复用.但在一定程度上,各种方法对刻画特征模型以及特征之间约束关系存在语义上的冗余和混乱,不能有效对特征模型进行验证,也限制各种不同特征建模方法之间特征信息的共享.采用描述逻辑刻画了特征模型中的特征类、特征间关系与约束等方面,定义了特征间互斥、需要等约束的规则集合,用于对知识库中的语义特征模型实例进行一致性、完整性验证.并结合一个具体领域,对基于描述逻辑的特征建模及推理验证进行了详细论述.此研究对于领域特征模型的语义建模与验证、支持领域模型共享具有一定的指导作用.%The feature model has been widely adopted as a domain requirements capturing model by most of the current domain engineering methods.But these methods lack the semantic description of the feature model and the relationship between features.This has led to the redundancy and confusion in feature model representation between different domain engineering methods.In this paper,a semantic feature model,including feature classes,relationships and constraints among features,is presented based on description logic.Rules for mutex,requirements and conflict constraints are proposed,which are used to verify the consistency and completeness of feature model instances.Then,in the light of a real software domain,the modeling process of the feature model with description logic and its verification are discussed systematically:1)Ontology editor Protege is used to depict the feature meta-model and models; 2)Rules are described with rule language; 3)Description logic reasoner and query language SPARQL are adopted for consistency and completeness verification.Feature meta-model and rules are domain independent,whereas feature models (that is,the instances of meta-model) are domain dependent,which requires experience of domain experts.This approach will be beneficial to semantic modeling of domain feature models (that is,reduce the inconsistency among different feature modeling methods) and their verification.
展开▼
