摘要
针对语法和语义层次组合存在对仿真环境的匹配及组合结果实用性不强的问题,在语用组合与仿真语境研究的基础上,给出仿真语境空间形式化定义,提出一种基于语境空间匹配指数的静态语用组合性质分析方法。对扩展有限状态自动机进行分析,设计支持语境约束的仿真组件模型形式化描述,建立仿真组件模型与着色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.
出处
《计算机工程》
CAS
CSCD
北大核心
2016年第2期293-299,共7页
Computer Engineering
关键词
语用
语境
仿真组件
组合性质分析
扩展有限状态自动机
pragmatic
context
simulation component
composition property analysis
Extended Finite State Machine(EFSM)