作者：王博 白晓颖 贺飞 Xiaoyu SONG可组合嵌入式软件可组合性相容性组合模型组合机制组合验证
摘要：可组合嵌入式软件以构件开发技术为基础，研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术．从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析．组合理论研究给出构件可组合性的乐观定义和悲观定义，从组合操作、组合规则两个方面定义构件间的组合机制．针对嵌入式构件的特点，着重调研了非功能特性和异构构件的建模与组合技术，分析了非功能特性约束、面向多特性的模型等方法．分析了基于契约的验证、基于不变量的验证、基于模型检查的验证等多种嵌入式软件组合验证技术．最后，探讨了需要进一步研究的问题．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
