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

Research on pragmatic-oriented simulation component formal modeling and composition technology

作　　者：胡鹏[1,2] 沈建京[1] 吴善明[1] 

机构地区：[1]信息工程大学理学院 [2]68206部队

出　　处：《计算机应用研究》2015年第9期2697-2701,共5页Application Research of Computers

摘　　要：语法和语义层次的组合并不足以保证仿真组件组合的完整性、有效性和实用性,在语用组合问题分析的基础上,提出了基于扩展有限状态自动机的仿真组件模型形式化描述,包含了仿真组件行为语义和仿真运行语境约束信息,并在此基础上设计了基于XML的仿真组件模型描述规范。最后,通过应用实例具体描述了面向语用组合的仿真组件模型组合过程。组合中考虑了模型发现、组合判定、仿真运行与仿真语境之间的关系,并且实现了面向语用的仿真系统自动化动态构建。Syntactic and semantic composition couldn＇t enough to achieve the integrity, validity and practicability of simulation component composition. Based on the analysis of pragmatic composition, this paper proposed an extended finite state machine- based simulation component formal description, including the behavior semantic of simulation component and the context con- straints of simulation running. And on this basis, it designed the XML-based model description specification. At last, it prac- ticed the pragmatic-oriented simulation component composition progress by an application example. In the progress, this paper considered the relationship among model discovery, composition verification, simulation running and simulation context, and finally implemented the pragmatic-oriented simulation system automatic and dynamic development.

关 键 词：语用 组合 仿真组件 形式化建模 扩展有限状态自动机 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]