摘要： 研究基于部件设计的可靠性问题。首先提出一个基于部件设计的模型：如何抽象地描述一个部件？如何利用已存的部件构造新的部件？如何在给定部件实现的情况下，静态地验证部件的正确性？然后讨论在部件实现不可知的情况下。如何利用包裹（ｗｒａｐｐｅｒ）术和虚拟部件行为模式动态地检测并保证部件运行的正确性。

关键词: 基于部件设计, 形式语义, 可靠性

Abstract: In this paper, we study the problems of reliability. We firstly present a model of component based design: How to describe acomponent abstractly? How to construct a new component in terms of sub-components? How to verify the correctness of a componentstatically while its implementation is given? Then we will discuss how to check and guarantee the runtime correctness of a component usingwrapper and virtual component behaviour pattern.

中图分类号: 

• TP311