仿真模型的语义可组合性研究

可组合性是选择和组装仿真组件并以不同的方式组合成为有效的仿真系统来满足用户需求的一种能力。在语法组合的基础上，语义可组合性保证了组合模型的有效性。语义可组合性的形式化理论能够以形式化的方式确定模型组合的基本特征，为实现正确有效的模型组合奠定基础。首先，提出了模型、仿真、可组合性和有效性的形式化定义，并对对定义的合理性进行了分析；然后，建立形式化定义与语义之间的联系，研究了基于MDA的元建模方法，并确定了仿真模型中的语义元数据。

Research on the Semantic Composability of Simulation Models

Composability is the capability to select and assemble simulation components in various combinations into valid simulation systems to satisfy the specific user requirements. Beyond syntactic composability, semantic composability ensures the validity of composed models. A formal theory of semantic composability enables the determination of the characteristics of model composition in a formal way, which forms the basis of a valid and meaningful composition. First, the formal definitions for model, simulation, composability and validity are proposed. Arguments that the definitions are appropriate for the purpose are provided. Second, the connection between formal reasoning and semantics is built.The MDA-based metamodeling method is studied, and the semantic meta-data for simulation models are identified.