语用层次仿真组件组合性质分析

Composition Property Analysis of Pragmatic Level Simulation Components

针对语法和语义层次组合存在对仿真环境的匹配及组合结果实用性不强的问题,在语用组合与仿真语境研究的基础上,给出仿真语境空间形式化定义,提出一种基于语境空间匹配指数的静态语用组合性质分析方法。对扩展有限状态自动机进行分析,设计支持语境约束的仿真组件模型形式化描述,建立仿真组件模型与着色Petri网(CPN)之间的映射,并利用CPN Tools工具实现组合模型的动态语用可组合性质分析。应用结果表明,语用层次的仿真组件静态、动态组合性质分析,可为仿真组件发现、仿真建模优化、组合结果有效性判定等关键问题提供量化、直观的依据。

Syntactic and semantic composition has problem in achieving the integrity,validity and practicability of simulation component composition. In view of this,this paper analyzes pragmatic composition and simulation context,and proposes the formal definition of Simulation Context Space（ SCS） as well as the approach of static pragmatic composition verification based on SCS matching index calculation,including concept semantic matching index and value matching index. It analyzes the features of the Extended Finite State Machine（ EFSM）,and designs the formal description of Simulation Component Model（ SCM） including context constraint based on EFSM. It develops the mapping betw een SCM and Color Petri Net（ CPN） model,so the dynamic pragmatic composition verification of the composed model can be done by CPN Tools. Application result of the static and dynamic analysis of the simulation component composition show s that,it can provide quantifiable,intuitive basis for component discovery,model optimization,and composition verification on pragmatic level.