| 基于部件设计的可靠性研究 |
| |
| 引用本文： | 云晓春,方滨兴.基于部件设计的可靠性研究[J].计算机工程,1999,25(5):6-8. |
| |
| 作者姓名： | 云晓春 方滨兴 |
| |
| 作者单位： | 哈尔滨工业大学计算机系 |
| |
| 摘 要： | 研究基于部件设计的可靠性问题，首先提出了一个基于部件设计的模型：如何抽象地描述一个部件？如何利用已存在的部件构造新的部件？如何在给定部件实现的情况下，静态地验证部件的正确性？然后讨论在部件实现不可知的情况下，如何利用包裹（ｓｒａｐｐｅｒ）技术和虚拟部件行为模式动态地检测并保证部件运行的正确性。
|
| 关 键 词： | 部件设计 形式语义 可靠性 软件开发 |
| 修稿时间： | :1998-06-19 |
Research on the Reliability of Component Based Design |
| |
| Yun Xiaochun, Fang Binxing,.Research on the Reliability of Component Based Design[J].Computer Engineering,1999,25(5):6-8. |
| |
| Authors: | Yun Xiaochun Fang Binxing |
| |
| Affiliation: | Computer Department. Harbin Institute of Technology Harbin 150001 |
| |
| 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. |
| |
| Keywords: | Component based design Formal Semantics Reliability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
