面向对象范型的构件化系统中构件协议级行为可替换性研究

摘要

基于构件的软件开发(CBSD)已成为软件工程研究与实践所关注的重点。在升级维护构件化软件系统时,如何分析与验证系统中功能构件的可替换性是其中较为重要的研究问题。本文针对采用面向对象范型的构件化系统展开工作,形式描述与定义了构件及其对外交互协议,通过分析替换构件与被替换构件之间的行为协议关系,讨论了新功能构件在行为协议级所需满足的要求,给出了相应的验证规则与定理,用于确保构件替换后仍能保持系统内构件间的行为相客.最后本文通过一个电子商务应用实例来说明所提出途径的可用性和针对性。