论文部分内容阅读
如何判定仿真组件之间是否可组合是组合仿真中的关键问题之一。建立了组合判定问题的参考模型，基于Hoare逻辑给出仿真模型语义的描述方法，并以此为基础通过构造模型语义之间的组合匹配规则，从组合相容性及可替换性两个方面刻画模型的可组合性质，形成语义层次的组合判定方法；对组合相容性与可替换性质之间的关系进行了分析。