预订演示
前页 后页

模拟中的求解器

模拟中A求解器可帮助您包含来自数学模型的行为,根据需要查询状态以调整相应UML模型的行为。

创建和初始化求解器

求解A最好在模拟开始时创建一次。这使得它可以在整个模拟过程中使用,而不会导致重复构建时间的延迟。这也是加载任何所需模块、定义功能和定义模型初始状态的好时机。

在状态机模拟中,执行此初始化的好地方是影响转移

从初始状态开始,或在模拟期间未重新输入的状态的条目中。

在活动模拟中,您需要将行动添加到动作的影响中。

更新求解器模型

随着模拟的进行,您可以使用任何影响字段来更新数学模型的参数。这可能包括更新率或算法之间的变化。在状态机模拟中:

  • A转移
    当特定流程需要更改时,可以使用影响
  • 状态条目A用于确保在模拟处于某个状态时更改行为,无论它是如何到达那里的;这包括任何嵌套状态
  • 状态退出A用于确保在模拟离开状态时更改行为,无论它如何离开
  • 状态Do活动A行为类似于进入动作。
在活动模拟中,只有行动效果。

查询求解器模型

带着一个转移

守卫,调用solver.get() 。你也可以调用solver.exec()来调用一个没有副作用的函数。

了解更多