软件建模 CODEARTS MODELING-绘制组合片段

时间:2024-10-25 09:09:23

绘制组合片段

组合片段fragment中类型介绍说明如下表所示:

片段类型

片段名称

说明

opt

选择

包含一个可能发生或可能不发生的序列。 可以在临界中指定序列发生的条件。

alt

抉择

包含一个片段列表,这些片段包含备选消息序列。 在任何场合下只发生一个序列。

可以在每个片段中设置一个临界来指示该片段可以运行的条件。 else 的临界指示其他任何临界都不为 True 时应运行的片段。 如果所有临界都为 False 并且没有 else,则不执行任何片段。

loop

循环

片段重复一定次数,可以在临界中指示片段重复的条件。

break

中断

如果执行此片段,则放弃序列的其余部分。 可以使用临界来指示发生中断的条件。

par

并行

并行处理。 片段中的事件可以交错。

critical

关键

用在 Par 或 Seq 片段中。 指示此片段中的消息不得与其他消息交错。

seq

弱顺序

有两个或更多操作数片段。 涉及同一生命线的消息必须以片段的顺序发生。 如果消息涉及的生命线不同,来自不同片段的消息可能会并行交错。

strict

强顺序

有两个或更多操作数片段。 这些片段必须按给定顺序发生。

consider

考虑

指定此片段描述的消息列表。 其他消息可发生在运行的系统中,但对此描述来说意义不大。

ignore

忽略

此片段未描述的消息列表。 这些消息可发生在运行的系统中,但对此描述来说意义不大。

assert

断言

操作数片段指定唯一有效的序列。 通常用在 consider 或 ignore 片段中。

neg

否定

此片段中显示的序列不得发生。 通常用在 consider 或 ignore 片段中。

由于loop与alt类型使用频率较高,故直接放到工具箱中作为可直接使用的元素,与通过fragment设置成loop与alt的意义相同,无任何区别。

在工具画板中选择分段类型,拖拽至画布对应位置,右键单击分段可以进行“编辑条件”

单击“新增条件”,输入分片区域或条件名称。支持拖动调整顺序。

也可以直接单击组合片段元素进行修改/新增条件框。

鼠标移到分层连线上方变成白色十字箭头后,fragment中的连线可以上下移动,调整位置。

support.huaweicloud.com/usermanual-codeartsmodeling/modeling_ug_0003_4_7.html