论文研究 面向语用的仿真组件形式化建模及组合技术研究.pdf

语法和语义层次的组合并不足以保证仿真组件组合的完整性、有效性和实用性，在语用组合问题分析的基础上，提出了基于扩展有限状态自动机的仿真组件模型形式化描述，包含了仿真组件行为语义和仿真运行语境约束信息，并在此基础上设计了基于XML的仿真组件模型描述规范。最后，通过应用实例具体描述了面向语用组合的仿真组件模型组合过程。组合中考虑了模型发现、组合判定、仿真运行与仿真语境之间的关系，并且实现了面向语用的仿真系统自动化动态构建。