UML序列图中分布式系统的节点表示法

我知道UML序列图是用来描述组件之间消息的顺序和有序流的。我想在分布式系统中描述这样一个流，节点是我的组件

我想要表示的流是A->B->C的形式。假设这个系统有N个节点；A可以是这N个节点中的任何节点；B可以是A以外的任何节点；C可以是A和B之外的任何节点。这样的流与A1->A2->A3不同，A1、A2和A3可以是系统中的任何节点，我不在乎A1和A2是否相同。我想知道UML是否有一种正式的方式来描述这种关系。或者如果其他图表/模型更适合描述这一点

---

目前，我唯一能想到的方法是有三个实体，分别命名为“A”、“B”和“C”。但这意味着读者必须隐式地推断A、B和C是名称不同的节点。我正在寻找一种形式化的方法。

实际上，每条生命线代表一个实例。每个实例都有一个分类器。所以在这个SD中

---

你有四条不同的生命线。一个分类为

A

，两个分类为

B

，一个分类为

C

。任何SD都会显示一个具体的流，以突出显示对象的协作

序列图中不同的对象时间线代表不同的对象，所以我不确定是否需要任何进一步的信息。如果它们可能是同一个对象，那么我会添加一个注释。我正在尝试基于它进行一些形式化证明，因此我想知道UML是否提供了一种表示这一点的方法。UML没有形式化语义，所以创建您自己的约束，注意或刻板印象，并将其附加到图表或时间表上。我想很多人希望我在SD中使用类，但就我所知，@Kilian是正确的。@granier是的，在SDs中使用类是一个常见的错误。如果您在EA中这样做，它将在XMI ex-/import上破坏您的模型。不幸的是，EA并不妨碍您使用类：-/