会议专题

一种支持软件可信演化的构件模型

对环境的动态适应是软件保证其可信的重要手段。当应用场景超出开发阶段的预设时,软件的环境感知和决策能力需要能够在线扩展,以保证其行为和结果仍可符合用户预期。这一扩展的前提是软件工程层面的高效支持机制。基于关注点分离原则和动态软件体系结构技术,提出了一种支持软件环境适应能力细粒度在线调整的构件模型ACOE。ACOE在构件语义和语法层面引入感知构件类型,在构件组装层面引入策略连接子和支持体系结构自管理的AcoeADL语言,从而实现了软件适应能力中感知、决策与执行的关注点分离和动态绑定,降低了可信软件在环境超出预设时的演化代价。实现了支持ACOE构件模型的容器原型,并通过实验验证了其有效性。

可信软件 适应性软件 构件模型 动态软件体系结构 容器原型

丁博 王怀民 史殿习 李骁

国防科学技术大学 计算机学院,湖南省长沙市 410073 国防科学技术大学 计算机学院,湖南省长沙市 410073 并行与分布处理国防科技重点实验室,湖南省长沙市 410073

国内会议

中国计算机学会全国软件与应用学术会议(NASAC2009)

沈阳

中文

322-332

2009-09-22(万方平台首次上网日期,不代表论文的发表时间)