%0 Journal Article %A 黄万伟 %A 兰巨龙 %A 于 婧 %A 李 鹏 %T 硬件构件的形式化描述及其组装机制 %D 2010 %R 10.3969/j.issn.1000-3428.2010.08.081 %J 计算机工程 %P 230-232 %V 36 %N 8 %X 针对构件化的路由交换平台设计,提出硬件基础构件的抽象模型及其内部处理流程的形式化描述,提取出顺序、并行、分支以及聚合4种原子组装机制,用于构建更高层次的复合构件,并推导出复合构件抽象模型及其处理流程的形式化描述,从而有利于抽象出更大粒度的构件用以组装复杂的硬件平台。
%U http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2010.08.081