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

• 作者: 吴善明 沈建京 胡鹏
• 来源期刊: 计算机应用研究
• 关键词: 语用 组合 仿真组件 形式化建模 扩展有限状态自动机
• 年，卷（期）: 2015,（9）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2697-2701
• 页数: 5页
• 分类号: TP391.9
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2015.09.032

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈建京	信息工程大学理学院	38	322	9.0	17.0
2	吴善明	信息工程大学理学院	11	60	3.0	7.0