仿真模型的语义可组合性研究

• 作者: 刘云生 张童 查亚兵
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 可组合性 语义 形式化理论 有效性
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 仿真技术
• 页码范围: 106-109
• 页数: 4页
• 分类号: TP391.9
• 字数: 5145字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2008.03.031

摘要

可组合性是选择和组装仿真组件并以不同的方式组合成为有效的仿真系统来满足用户需求的一种能力.在语法组合的基础上,语义可组合性保证了组合模型的有效性.语义可组合性的形式化理论能够以形式化的方式确定模型组合的基本特征,为实现正确有效的模型组合奠定基础.首先,提出了模型、仿真、可组合性和有效性的形式化定义,并对定义的合理性进行了分析;然后,建立形式化定义与语义之间的联系,研究了基于MDA的元建模方法,并确定了仿真模型中的语义元数据.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张童	国防科技大学机电工程与自动化学院	15	123	9.0	10.0
2	刘云生	国防科技大学机电工程与自动化学院	15	119	8.0	10.0
3	查亚兵	国防科技大学机电工程与自动化学院	46	457	12.0	18.0