面向对象范型的构件化系统中构件协议级行为可替换性研究
基于构件的软件开发(CBSD)已成为软件工程研究与实践所关注的重点。在升级维护构件化软件系统时,如何分析与验证系统中功能构件的可替换性是其中较为重要的研究问题。本文针对采用面向对象范型的构件化系统展开工作,形式描述与定义了构件及其对外交互协议,通过分析替换构件与被替换构件之间的行为协议关系,讨论了新功能构件在行为协议级所需满足的要求,给出了相应的验证规则与定理,用于确保构件替换后仍能保持系统内构件间的行为相客.最后本文通过一个电子商务应用实例来说明所提出途径的可用性和针对性。
构件组装 行为相客 行为可替换 面向对象 软件开发
胡海洋
浙江工商大学 计算机与信息工程学院,浙江杭州,310018 南京大学 计算机软件新技术国家重点实验室,江苏南京,210093
国内会议
广州
中文
53-63
2008-11-11（万方平台首次上网日期，不代表论文的发表时间）