如何在序列图中表示"做时"控制结构



我能想到的唯一解决方案是在循环之前创建一个变量,这样它就可以第一次进入。然而,我不认为这是最佳的。

交互(通过序列图显示(中,支持循环的自然方法是使用组合片段和操作数循环

如正式/2017-12-05§17.6.3.17循环(来自第584页(所述:

Guard可能包括循环的较低和较高迭代次数以及布尔表达式。语义是这样的,一个循环将迭代最小的"minint"次数(由guard(和最多"maxint"次数执行最小迭代次数且布尔表达式为false后,循环将终止

while相反,在do while的情况下,测试在循环结束时进行,另一种说法是测试(没有副作用(在循环开始时进行,但第一次不考虑其结果,这正是组合片段循环的语义,"minint"值1(但的情况下为0,而(和"maxint"值*(表示不受限制,见第586页§17.6.4.9(=>循环操作数的表示法是CCD_ 2,布尔表达式是while的测试。

循环片段中的约束允许写入任何内容。与其使用变量的内容,不如用明文表达数字来解释循环的原因。在任何情况下:应避免图形编程。它只用于表示一些复杂的结构,而不是用于每个位。

相关内容

最新更新