基于本体的可信软件演化框架模型*

为系统化地考虑开放环境对软件可信性的影响和驱动作用，提出了一种基于本体空间并支持动态演化的框架模型。该模型采用本体空间的方法解决用户、系统和环境三者之间交互的语义问题，在此基础上，通过预定义的规则对软件行为的可信性和自主调整的必要性进行评估，依据评估结果从微观层次的规约制导和宏观层次的人机协同在软件生命周期内对其调整、配置与修正。应用实例及测试结果验证了该框架模型的有效性与可行性。

Ontology-based framework for trustworthy software evolution

This paper constructed a framework for trustworthy software evolution. It not only supported semantic but also well guided dynamic evolution through service composition. First of all, it adopted a method of ontology space to support the semantic of this framework model. Secondly, defined a set of reasoning rules to evaluate the credibility of software behavior and the need for self-adjustment, then according to these results adjusted software from micro-level and macro-level in software life cycle. Finally, a simple application shows the effectiveness of this framework proposed.