基于组件软件的容错及语义

摘要

现代软件设计中，利用已存的组件构造软件正日益获得愈来愈多的重视。软件重用节省了开发的时间和开销，使得产品更易于更新和维护。由于组件语义的不精确或尚未验证的说明可能导致其合成含义的不确定性，同时由于嵌套重用，这种不确定性将会随着重用的每个层次逐渐积累。该文侧重于根据组件的语义信息，提出一些运行时技术，以使利用不可靠的组件合成高可靠性的软件。