检查

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

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

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

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

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

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

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

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

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