近年来,软件的可信性问题再度引起广泛关注,航空、核工业、电信、金融、电力和交通等国家重要领域的信息化程度日益提高,国家基础设施的运转越来越依赖于大型分布式软件系统,这类软件系统的可信性成为新的焦点。但是,目前软件演化的研究都局限在构件的失效和软件本身出现的问题上,并且多为静态演化,而在涉及软件可信性的时候并没有考虑到动态环境对其产生的影响。本文考虑到软件所处的复杂开放环境,运用本体及其推理技术,对软件可信演化展开研究,在此基础上建立基于“环境-行为”的语义模型,并根据动态环境来调整软件的行为。本文主要研究包括以下内容:①构建基于“环境-行为”的本体。复杂开放的动态环境是大型分布式软件系统的特点,所以环境的改变对其行为产生的影响尤为明显。本文立足于软件可信性的基础上,联系上下文环境及其行为,建立一个基于“环境-行为”的本体,并用这个模型来处理环境和行为的相关问题。②构建本体推理规则库。针对上述已经建立的本体模型,构建基于本体推理的规则库,该规则库可以用于多变的逻辑推理,以满足大型分布式软件系统进一步的动态可信演化要求。③使用Jena推理,并对软件进行可信演化。通过运用Jena中的知识库及规则库,评估软件可信演化的具体行为,对其可信性进行评估,然后再通过软件可信演化调整软件的行为。综上所述,通过建立的本体让软件可信演化研究中的概念等可以语义共享,而本体推理库对软件行为可信性和自主调整的必要性进行评估,接着使用本体模型及推理库,形成一种以信息语义及推理规则相结合的方法来进行软件可信演化,最后是软件可信演化的一个应用。