硬件构件的形式化描述及其组装机制

摘要：

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

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

所属期刊栏目：36

分类号：TP303(计算技术、计算机技术)

资助基金：国家"863"计划基金资助项目"可重构路由器构件组研制"2008AA01A323

在线出版日期：2010-05-31（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：230-232