仿真模型的语法可组合问题及组合判定

层次化特征是仿真可组合问题的本质特征之一,首先介绍了仿真可组合问题的基本概念,提出多层次的组合参考模型,以此引出语法层次的可组合问题,进而从命名、顺序及复杂类型匹配三个方面刻画了语法层次仿真模型的组合失配现象.为解决组合失配问题,建立了三类变换条件下的类型等价及子类型匹配关系,并以此为基础构建了语法层次组合相容性及可替换性的判定规则.

Study on Syntactic Composablity of Simulation Models and Composability Checking

Hierarchical structure is the one of the key features of simulation composabiltiy.The basic concepts of simulation coomposabiltiy was introduced firstly,then the hierachial-multidimensional reference model was constructed,which drew the sysntactic level of simulation composability.The syntactic composition mismatch was studied from three points of view,i.e.naming,parameter sequence and complex types match.In order to address the mismatching issues described above,three type equivalence and subtyping rules u...