IDE 的 UML 建模功能提供了一个交互运算符菜单，您可以方便地为序列图中的任何组合片段选择基本运算符。下表描述了可用的交互运算符：
| 交互运算符 | 描述 |
|---|---|
| Alt | 指明组合片段表示一种行为选择。对于 Alt 运算，仅执行一个操作数。执行的操作数必须具有触发表达式，该表达式在交互时的计算结果为 True。对于没有触发表达式的操作数，IDE 假定其触发表达式隐含为 True。定义选择的消息行集是操作数（触发）消息行的并集。 |
| Assert | 指明组合片段表示一个断言。必须执行断言操作数所描述的后续操作。 |
| Else | 指明一种触发操作数，它是对组合片段包括的所有其他触发操作数的组合求反的结果。 |
| Loop | 指明组合片段表示一个循环。每次重复循环操作数时，就会计算触发表达式的结果。触发可以包括特定次数的循环迭代。迭代最小值项为 minint 。迭代最大值项为 maxint 。在执行最小次数的迭代后，如果布尔表达式为 False，循环就会终止。 |
| Neg | 指明组合片段表示的消息行无法实现。定义负组合片段的消息行集等于其（唯一）操作数指定的消息行集。 |
| Opt | 指明组合片段表示一种行为选择，根据行为选择，会出现 (唯一) 操作数或者什么也不出现。Opt 是选择的缩写，其中只有一个操作数，其他操作数为空。 |
| Par | 指明组合片段表示操作数行为之间的并行合并。您可以按任意方式交替执行不同操作数的事件，但前提是保留每个操作数的规定顺序。定义并行合并的消息行集描述了交替执行操作数事件（而不破坏操作数内事件的发生顺序）的各种方式。 |
| Ref | 指明组合片段框既引用又表示 嵌套的序列图 。 |
| 区域 | 指明组合片段表示一个临界区域。临界区域是指区域中的消息行不能与其他事件（位于该区域包含的这些生命线上）交替发生，即使组合片段包含的内容暗指发生的某些事件可以交替插入到区域中。因此，结构包含的消息行集受临界区域的限制。 |
| Seq | 指明组合片段表示一个操作数行为之间的非严格顺序。在以下情形中存在非严格顺序：将每个操作数内事件的发生顺序保存在结果中；不同操作数的不同参与者（生命线）的事件按任意顺序发生，或者不同操作数的相同参与者的事件按某种顺序发生，以使左侧操作数的事件在右侧操作数的事件之前发生。因此，如果操作数在不连续的参与者集合中，非严格顺序就会变成并行合并。如果操作数仅对一个参与者有效，非严格顺序就会变成严格顺序。 |
| Strict | 指明组合片段表示一个操作数行为之间的严格顺序。这意味着，包含的片段的纵坐标在组合片段的整个作用域内都有效，而不仅仅在一条生命线上有效。 |