基于可达图的仿真组件接口设计一致性验证

摘要：

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

关键词：仿真组件、接口设计、时序图、可达图、验证

所属期刊栏目：27

分类号：TP391.9(计算技术、计算机技术)

在线出版日期：2010-06-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：75-79