基于构件设计的思想

Idea of Component-Based Design

阐述基于构件设计的思想 .首先建立一个构件描述的模型 (接口 :描述构件的语法和语义信息 ;实现 :阐述如何利用子构件构造一个新的构件 ) .然后阐述如何将构件的接口和实现联系起来 。

This paper introduces the idea of component_based design.Firstly creates a component_described model(interface:describe both syntax and semantics of components;implementation:tell how to use sub_components to construct a new component).Then presents how to relate the interface of a component to its implementation,finally verifys its correctness by using Hoare logic.