Research on the Reliability of Component Based Design

Abstract

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.

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

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

CLC Number:

TP311

Yun Xiaochun, Fang Binxing. Research on the Reliability of Component Based Design[J]. , 1999, 25(05): 6-8.

云晓春,方滨兴. 基于部件设计的可靠性研究[J]. , 1999, 25(05): 6-8.

/ Recommend / Download Citations

URL: https://www.ecice06.com/EN/Y1999/V25/I05/6

[1]	WANG Ting, LIU Mingming. Improved PBFT Consensus Algorithm Based on Node Bidding and Reputation Mechanism [J]. Computer Engineering, 2026, 52(11): 308-318.
[2]	ZHANG Ru, SUN Weifeng, ZHANG Peng, ZHANG Chao, DAI Yongshou. Plug-in-based Electromagnetic Signal Analysis Software Architecture Design Method [J]. Computer Engineering, 2026, 52(11): 435-443.
[3]	DING Lin, YANG Yang, GUO Caili, GUO Jianzhang, LI Zheng. A Text-to-SQL Method Based on Fine-Tuning Large Language Models with Table Creation Information [J]. Computer Engineering, 2026, 52(11): 402-411.
[4]	LI Xue, WANG Yawen, ZHANG Qianjin. Automatic Naming of Source Code Based on Information Retrieval [J]. Computer Engineering, 2024, 50(6): 304-310.
[5]	LI Yakang, CHEN Gang. Automated Selection for Physical Models of Small-Angle Neutron Scattering [J]. Computer Engineering, 2024, 50(6): 56-64.
[6]	XUAN Yizhao, ZHAO Hongwu, JIN Yu. A Dual-Chain-Based Consensus Mechanism for Blockchain [J]. Computer Engineering, 2024, 50(5): 139-148.
[7]	JIANG Huizhen, SUN Yanchun, HUANG Gang. GitHub Hierarchical Learning and Retrieval Service Based on Knowledge Graphs [J]. Computer Engineering, 2024, 50(5): 16-25.
[8]	WANG Ziheng, JIANG Zhongding. Enhanced Desktop Display System Supporting Multi-Modal Interaction [J]. Computer Engineering, 2022, 48(7): 177-188.
[9]	XU Fu, HAO Liang, CHEN Feixiang, LI Dongmei, CUI Xiaohui. Program Comparison Analysis Method for Open Source Code Reuse [J]. Computer Engineering, 2020, 46(1): 222-228,242.
[10]	ZHANG Wanying, CAO Xiaomei, CHEN Wei. Solution for Environment Interaction Problem in Whitebox Fuzz Testing [J]. Computer Engineering, 2020, 46(1): 216-221.
[11]	ZHANG Shutao, TAN Haibo, CHEN Liangfeng, Lü Bo. An Efficient Load Balance Strategy for Distributed Crawler System [J]. Computer Engineering, 2019, 45(11): 62-67.
[12]	YANG Zhenglong, GAO Jianhua. User-oriented Performance Analysis of Search Engine Based on Metamorphic Test [J]. Computer Engineering, 2019, 45(10): 52-56,63.
[13]	WANG Chenxu, WANG Xiaochen, YU Dunhui, WU Shan. Software Crowdsourcing Task Decomposition Algorithm Based on Dynamic Decoupling [J]. Computer Engineering, 2019, 45(8): 120-124,134.
[14]	WANG Chenxu, YU Dunhui, ZHANG Wanshan, ZHANG Xingsheng. Module Allocation Algorithm for Software Crowdsourcing Based on Core Degree Sorting [J]. Computer Engineering, 2019, 45(7): 66-70.
[15]	NI Hong, LIU Xin. Multi-Core optimization technology of unstructured grid based on Sunway TaihuLight [J]. Computer Engineering, 2019, 45(6): 45-51.

Please choose a citation manager

Content to export