| 可组合仿真模型的语义形式描述及组合判定方法 |
| |
| 引用本文： | 周东祥,李群,王维平.可组合仿真模型的语义形式描述及组合判定方法[J].国防科技大学学报,2008,30(1):89-93. |
| |
| 作者姓名： | 周东祥 李群 王维平 |
| |
| 作者单位： | 国防科技大学信息系统与管理学院,湖南,长沙,410073 |
| |
| 摘 要： | 如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一.建立了组合判定问题的参考模型,基于Hoare逻辑给出仿真模型语义的描述方法,并以此为基础通过构造模型语义之间的组合匹配规则,从组合相容性及可替换性两个方面刻画模型的可组合性质.形成语义层次的组合判定方法;对组合相容性与可替换性质之间的关系进行了分析.
|
| 关 键 词： | 组合仿真 组合判定 语义相容性 语义可替换性 |
| 文章编号： | 1001-2485(2008)01-0089-05 |
| 收稿时间： | 2007/6/27 0:00:00 |
| 修稿时间： | 2007年6月27日 |
Formal Representation of Semantics for Composable Simulation Models and Checking Rules for Semantic Composablity |
| |
| ZHOU Dongxiang,LI Qun and WANG Weiping.Formal Representation of Semantics for Composable Simulation Models and Checking Rules for Semantic Composablity[J].Journal of National University of Defense Technology,2008,30(1):89-93. |
| |
| Authors: | ZHOU Dongxiang LI Qun and WANG Weiping |
| |
| Institution: | ZHOU Dong-xiang,LI Qun,WANG Wei-ping(College of Information Systems , Management,National Univ.of Defense Technology,Changsha 410073,China) |
| |
| Abstract: | How to perform the composability checking between models is one crucial issue in the composable simulation development.In light of this,the reference model of composability checking problem was proposed,then an approach to semantic representation of simulation models based on Hoare Logic was presented.As the compatibility and substitutability are the two flip sides of composability coin,the rules to check the compatibility and substitutability between semantics of simulation models were constructed,and the ... |
| |
| Keywords: | composable simulation composability checking semantic compatibility semantic substitutability |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
| 点击此处可从《国防科技大学学报》下载免费的PDF全文 |
