关键词: 可组合性 语义 形式化理论 有效性

Abstract:

Composability is the capability to select and assemble simulation components in various combinations into valid simulation systems to satisfy the spec  ific user requirements. Beyond syntactic composability, semantic composability ensures the validity of composed models. A formal theory of semantic comp osability enables the determination of the characteristics of model composition in a formal way, which forms the basis of a valid and meaningful composi tion. First, the forreal 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.

Key words: composability, semantics, formal theory, validity