可组合嵌入式软件建模与验证技术研究分析

可组合嵌入式软件是计算机构件得以开发的基础,对嵌入式构件的模型建立、组合形式、构件组合的相关机制进行分析和验证,能够在一定程度上促进嵌入式软件的发展,分别从组合操作和组合规则等方面进行不同的讨论,结合嵌入式构件的特征,分析嵌入式构件的非功能特征和异构特征,从而研究可组合嵌入式软件组合方法,从而对那些非功能特征进行分析,从而能够打破非功能特征的约束,从而能够使嵌入式软件的组合具有更好的兼容性。