注册
登录
模型可视化
合金模型 - 如何在图形可视化中显示循环？
返回
合金模型 - 如何在图形可视化中显示循环？
作者:
特狼普
发布时间:
2024-04-18 12:39:01 (3月前)
转自：
<div class =“excerpt”> 突出显示周期，或者至少可能突出显示图中指向“向上”而不是“向下”的弧，这将有助于我们 <span class =“result-highlight”> 想象 </跨度> 事情变得更好（因为在 <span class =“result-highlight”> 模型 </跨度> 我们有一个没有死锁的 我们有一个合金 <span class =“result-highlight”> 模型 </跨度> 旨在查找系统中可能存在的死锁。它被设置为当发现反例时，这意味着正在建模的系统可能具有死锁，即 </DIV>
收藏
举报
2 条回复
0#
回复此人
子阳
|
2019-08-31 10-32
<div class =“post-text”itemprop =“text”> <P> 我想到的第一件事是，当Alloy显示谓词的实例时，谓词的各种参数可以专门设置样式。因此，您可以尝试（1）定义与断言相反的谓词，即在存在死锁时保留的谓词，并为循环中的节点分配命名角色，以及（2）设置样式以显示那些不同颜色或形状的节点。你可能能够隐藏所有的东西 <EM> 不 </EM> 在循环中，或将其变灰。 </p> </DIV>
编辑
登录
后才能参与评论
