摘要： 针对构件化的路由交换平台设计，提出硬件基础构件的抽象模型及其内部处理流程的形式化描述，提取出顺序、并行、分支以及聚合4种原子组装机制，用于构建更高层次的复合构件，并推导出复合构件抽象模型及其处理流程的形式化描述，从而有利于抽象出更大粒度的构件用以组装复杂的硬件平台。

关键词: 基础构件, 形式化描述, 原子组装, 复合构件, 粒度

Abstract: An abstract model of hardware basic component is presented to design router and switch platform based on components, providing formal specification of disposal process inside the basic component, four atomic composition architectures used to construct higher layer compound component are described in formal semantic, including sequential architecture, parallel architecture, embranchment architecture and polymerization architecture, providing the abstract model and formal specifications of disposal process inside the compound component. The proposed approach offers a facility to construct compound hardware platform by components with higher granularity.

Key words: basic component, formal specification, atomic composition, compound component, granularity

中图分类号: 

• TP303