基于“环境-行为”本体模型软件可信演化的研究

《基于“环境-行为”本体模型软件可信演化的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、TrustworthySoftwareEvolutionBasedon“Environment-Behavior”ontologymodelAThesisSubmittedtoChongqingUniversityinPartialFulfillmentoftheRequirementfortheDegreeofMasterofEngineeringByWeidongZuoSupervisedbyDr.JiLiMajor：ComputerApplicationTechnologyCollegeofComputerScienceofChongqingUniversity,

2、Chongqing,ChinaMay,2011重庆大学硕士学位论文中文摘要摘要近年来，软件的可信性问题再度引起广泛关注，航空、核工业、电信、金融、电力和交通等国家重要领域的信息化程度日益提高，国家基础设施的运转越来越依赖于大型分布式软件系统，这类软件系统的可信性成为新的焦点。但是，目前软件演化的研究都局限在构件的失效和软件本身出现的问题上，并且多为静态演化，而在涉及软件可信性的时候并没有考虑到动态环境对其产生的影响。本文考虑到软件所处的复杂开放环境，运用本体及其推理技术，对软件可信演化展开研究，在此基础上建立基于“环境-行为”的语义模型，并根据动态环境来调整软件的行为。

3、本文主要研究包括以下内容：①构建基于“环境-行为”的本体。复杂开放的动态环境是大型分布式软件系统的特点，所以环境的改变对其行为产生的影响尤为明显。本文立足于软件可信性的基础上，联系上下文环境及其行为，建立一个基于“环境-行为”的本体，并用这个模型来处理环境和行为的相关问题。②构建本体推理规则库。针对上述已经建立的本体模型，构建基于本体推理的规则库，该规则库可以用于多变的逻辑推理，以满足大型分布式软件系统进一步的动态可信演化要求。③使用Jena推理，并对软件进行可信演化。通过运用Jena中的知识库及规则库，评估软件可信演化的具体行为，对其可信性进行评估，然后再通过软件可信

4、演化调整软件的行为。综上所述，通过建立的本体让软件可信演化研究中的概念等可以语义共享，而本体推理库对软件行为可信性和自主调整的必要性进行评估，接着使用本体模型及推理库，形成一种以信息语义及推理规则相结合的方法来进行软件可信演化，最后是软件可信演化的一个应用。关键词：环境-行为，本体推理，软件可信，动态环境，可信演化I重庆大学硕士学位论文英文摘要ABSTRACTRecently,softwaretrustworthinessarousesanotherroundofwidelyconcernsincemajornationalindustriessuchasaviatio

5、n,nuclear,telecommunication,finance,electricityandtransportationindustrieshavebeenmorecloselylinkedwithinformationtechnology.Theresultinghigherdependenceofinfrastructuresonlarge-scaledistributedsoftwaresystemsthenmakessoftwaretrustworthinessofthiskindanewfocalpoint.However,currentstudyof

6、thesoftwareevolution,oftenofstaticevolution,islimitedtocomponentfailuresorsoftwaremalfunction.Theimpactofthedynamicenvironmentisnottakenintoaccountwhenthestudybearsonsoftwaretrustworthiness.Thispaperaimstosolvetheseproblemsbyfirsttakingafullconsiderationofanopenanddynamicenvironmentandth

7、enintroducingtheontologyanditsreasoningtechniquestocarryouttheresearchonsoftwaretrustworthinessevolution.Withallthesedone,asemanticmodelbasedon“Environment-Behavior”istoestablishandsoftwarebehaviorcanbeadjustedtodynamicenvironment.Thisresearchpaperincludesitemsasfollow:Fi