| 引用本文: | 周东祥,李群,王维平.可组合仿真模型的语义形式描述及组合判定方法.[J].国防科技大学学报,2008,30(1):89-93.[点击复制] |
| ZHOU Dongxiang,LI Qun,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[点击复制] |
|
| |
|
|
| 本文已被：浏览 6665次 下载 5650次 |
| 可组合仿真模型的语义形式描述及组合判定方法 |
| 周东祥, 李群, 王维平 |
|
(国防科技大学 信息系统与管理学院，湖南 长沙 410073)
|
| 摘要: |
| 如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一。建立了组合判定问题的参考模型，基于Hoare逻辑给出仿真模型语义的描述方法，并以此为基础通过构造模型语义之间的组合匹配规则，从组合相容性及可替换性两个方面刻画模型的可组合性质，形成语义层次的组合判定方法；对组合相容性与可替换性质之间的关系进行了分析。 |
| 关键词: 组合仿真 组合判定 语义相容性 语义可替换性 |
| DOI： |
| 投稿日期：2007-06-27 |
| 基金项目:国家自然科学基金资助项目(60574056) |
|
| Formal Representation of Semantics for Composable Simulation Models and Checking Rules for Semantic Composablity |
| ZHOU Dongxiang, LI Qun, WANG Weiping |
|
(College of Information System and 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 formal approach to semantic composability checking was established. Finally, the relations between the semantic compatibility and substitutability were analyzed. |
| Keywords: composable simulation composability checking semantic compatibility semantic substitutability |
|
|
