论文部分内容阅读
仿真组件模型接口设计建模与仿真周期中详细设计阶段的一个重要内容,是继仿真需求分析和概念建模之后的针对系统行为交互的设计过程,起到连接仿真概念模型与仿真编码实现的桥梁作用。用自动机模型来刻画接口模型内部以及它们之间的动态交互过程,针对UML时序图场景规约,通过构造与自动机模型具有等价状态空间的可达图,检查可达路径中是否存在满足规约的路径来判断两者之间的一致性。设计了校验流程,并以基于OPNET的某办公网中的报文传输仿真系统为例,对方法进行了分析应用,说明了方法的适用性。