摘要
为系统化地考虑开放环境对软件可信性的影响和驱动作用,提出了一种基于本体空间并支持动态演化的框架模型。该模型采用本体空间的方法解决用户、系统和环境三者之间交互的语义问题,在此基础上,通过预定义的规则对软件行为的可信性和自主调整的必要性进行评估,依据评估结果从微观层次的规约制导和宏观层次的人机协同在软件生命周期内对其调整、配置与修正。应用实例及测试结果验证了该框架模型的有效性与可行性。
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 seman-tic 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.
出处
《计算机应用研究》
CSCD
北大核心
2010年第12期4551-4554,共4页
Application Research of Computers
基金
国家自然科学基金资助项目(90818028)
关键词
可信软件
动态演化
服务组合
本体
trustworthy software
dynamic evolution
service composition
ontology
