A Formal Method of Interface-Connection Component Composition
接口连接式构件组装的一种形式化方法

Component composition is one of the emphasis of research in component based software development. It can greatly improve the efficiency and quality in software development. Currently, most of the component composition technology is implemented under the c