网络物理系统的中间件专业化开发方法

摘要

当代计算基础设施如网络堆栈、操作系统和中间件,都是由软件功能的不同层次构建而成,用来支持更为广泛的应用.然而,设施特征的丰富性和软件功能的层次性增加了系统性能开销.本文基于面向特征的软件开发原理,提出一种通用中间件构造过程的方法.该方法为高水平抽象特征的现代中间件推导出一种代数结构.通过一个实例说明折纸矩阵和生成程序如何在实现中间件专业化研究中所发挥的作用.