基于本体特征模型演化一致性验证的研究与应用

《基于本体特征模型演化一致性验证的研究与应用》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、NanjingUniversityofAeronauticsandAstronauticsTheGraduateSchoolCollegeofComputerScienceandTechnologyResearchonOntology-BasedConsistencyVerificationforEvolvingFeatureModelsanditsApplicationsAThesisinScienceandTechnologyofComputerbyHeWenminAdvisedbyAssociat

2、eProf.ShenGuohuaSubmittedinFulfillmentoftheRequirementsfortheDegreeofMasterofEngineeringDecember,2012承诺书本人声明所呈交的硕士学位论文是本人在导师指导下进行的研究工作及取得的研究成果。除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得南京航空航天大学或其他教育机构的学位或证书而使用过的材料。本人授权南京航空航天大学可以将学位论文的全部或部分内容编入有关数据库

3、进行检索，可以采用影印、缩印或扫描等复制手段保存、汇编学位论文。（保密的学位论文在解密后适用本承诺书）作者签名：日期：南京航空航天大学硕士学位论文摘要随着领域需求的不断变化，使得领域软件的规模和复杂性不断增加，导致领域需求分析与建模成为领域工程研究中的严峻挑战。鉴于领域工程的相关性与稳定性，通过特征方法对领域需求进行分析，并建立领域特征模型，通过领域特征模型来管理领域中的核心资产。然而，领域需求的不断变化导致领域中的特征模型发生演化。如何有效对演化后的特征模型进行一致性验证，这个问题已经成为领域工程中新

4、的一个研究热点。针对上述问题，本文提出一种基于本体的特征模型演化一致性验证方法。首先，在分析特征模型和特征模型演化的基础上，抽取特征模型演化所涉及到的基本概念，构建了本体特征模型的元模型和元模型规约。结合元模型对特征模型的演化，提出了一组特征模型的演化操作。然后，结合元模型规约和特征模型，提出了基于本体的特征模型演化一致性验证方法。对特征模型的不一致（即特征间的冲突），提供了消除特征间冲突的演化策略。最后，借助Jena推理机，设计并实现特征模型一致性验证工具，为领域需求分析与建模，提供了工具支持。以机载

5、质量评估系统为例，建立该系统的本体领域特征模型，并裁剪出相应的本体产品特征模型。同时，通过工具对其进行一致性验证，采用演化策略特征模型的不一致，其验证结果表明本文所提的方法的可行性和有效性。关键词：本体，特征模型，特征模型的演化，元模型，一致性验证，演化策略I基于本体的特征模型演化一致性验证研究与应用ABSTRACTWiththechangeofdomainsoftwarerequirement,thedomainsoftwareismoreandmorecomplex.Itisachallengefo

6、ranalyzingandmodelingtherequirementinthedomainengineeringresearch.Consideringtherelativityandstabilityofdomainengineering,theFeature-OrientedDomainAnalysismethodtakesfeaturesascoreassetsofthedomain.However,thechangeoftherequirementleadstotheevolutionoffe

7、aturemodel.Howtoverifytheconsistencyofevolvingfeaturemodelisbecominganewpointofresearch.Tosolvetheaboveproblem,anontology-basedmethodforevolvingfeaturemodelconsistencyverificationisproposedinthispaper.Firstly,anontology-basedfeaturemeta-modelanditsconstr

8、aintsareproposedbyextractingandanalyzingbasicconceptsinvolvedintheevolvingfeaturemodel.Asetoftheevolvingoperationsisproposedfordescribingtheevolutionoffeaturemodel.Secondly,anontology-basedapproachforevolvingfeaturemodelco