A Formal Method of Interface-Connection Component Composition

• 接口连接式构件组装的一种形式化方法