检查

“检查”功能检查系统模型的正确性、一致性。系统中每一类元素都可能有一些约束。MBSES软件在你建模的过程中,大多情况会自动的维护系统模型的一致性。但是为了方便编辑过程,MBSES软件允许暂时录入和保存一些数据,在后续的工作中修正和改进模型数据。通过“检查”,可以发现后续工作中遗漏的、未修正的模型数据。

单击“分析”选项卡中的“检查”按钮,弹出检查的界面,如下图所示:

选择检查范围之后,单击“检查”开始模型数据的检查。检查完成后,检查结果显示如下:

检查结果的中信息分为三类:

错误:元素的数据不符合此类元素的约束,需要改正。可以通过右键菜单,打开元素所在的图,或者定位元素在模型浏览器上的节点位置,然后进行相应的修改。

警告:元素的数据可能是无效的,但是不影响整个模型数据的完整性、正确性。可以忽略警告信息,但是建议进行相应的修改,保持模型数据的规范性。

消息:元素的数据不符合建议的建模规范,但是并不影响整个模型数据的完整性、正确性。可以忽略这类信息。

检查的规则包括以下规则:

  1. 类型检查:属性的类型是否存在、正确。给模块增加属性的时候(如值属性),可以直接输入属性的类型,软件会自动找到对应的类型元素;如果输入的类型不存在,鼠标经过属性时,会提示类型不存在。如果不修改,检查模型时会作为错误。
  2. 名称重复:同一命名空间内的元素名称重复。例如两个值属性的名称重复。
  3. 名称为空:有些元素,例如模块的名称不能为空。
  4. 名称或定义中有非法字符:如果名称中不能有“«»《》{}():”等。
  5. 元素定义的语法错误:例如约束缺少“{”或“}”。
  6. 实例的类型是否还存在、实例的槽对应的属性是否还存在的问题。
  7. 关系元素两端没有连接到规定类型的元素的问题(警告)。
  8. 连接器两端没有连接到属性或约束参数的(警告)。
  9. 用户自定义的值类型没有从基础类型继承(警告)。
  10. 仿真脚本语法错误。

MBSES用户使用说明书