作者：张童 刘云生 查亚兵可组合性语义形式化理论有效性
摘要：可组合性是选择和组装仿真组件并以不同的方式组合成为有效的仿真系统来满足用户需求的一种能力。在语法组合的基础上，语义可组合性保证了组合模型的有效性。语义可组合性的形式化理论能够以形式化的方式确定模型组合的基本特征，为实现正确有效的模型组合奠定基础。首先，提出了模型、仿真、可组合性和有效性的形式化定义，并对定义的合理性进行了分析；然后，建立形式化定义与语义之间的联系，研究了基于MDA的元建模方法，并确定了仿真模型中的语义元数据。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
