摘要
针对构件化的路由交换平台设计,提出硬件基础构件的抽象模型及其内部处理流程的形式化描述,提取出顺序、并行、分支以及聚合4种原子组装机制,用于构建更高层次的复合构件,并推导出复合构件抽象模型及其处理流程的形式化描述,从而有利于抽象出更大粒度的构件用以组装复杂的硬件平台。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第8期230-232,共3页
Computer Engineering
基金
国家"863"计划基金资助项目"可重构路由器构件组研制"(2008AA01A323)
关键词
基础构件
形式化描述
原子组装
复合构件
粒度
basic component
formal specification
atomic composition
compound component
granularity