UML：如何在序列图中表示间接操作调用？

Question

请考虑以下类：

我想在序列图中表示这样一个事实：a的实例首先导航到B关联端以到达B实例，然后导航到其关联C以到达C实例，然后调用操作foo()。

我如何在序列图中表示这个？Afaik,从一个物体导航到另一个物体不是一个消息,因此不能用箭头来表示,对吗？那么我如何显示C实例是如何被A实例找到的呢？

换句话说，afaik，用提出的类图，我不能有表示a和C的序列图，我只能表示a和B，或者B和C中的任何一个。

Answer 1

在您的关系图中，您使用了属性的关联表示法:+b表示b是a的公共属性，该属性属于b类，类似地，c是b的公共属性。因此a.b.c:c表示法可能是有效的。

然而，我不是100%确定这是否是真正有效的UML。标准预见的是一个元素名称，而不是一个决定元素的表达式。它允许限定名，但在命名空间中，而不是在分类器中。名称上的可选选择器也不是为遍历多个关系而设计的。

因此，更好的方法当然是给第二条生命线取一个简单的名字（例如x，或者保持匿名），并添加一个约束来解释它是如何确定的（例如{x=a.b.c})。在约束中，不管是OCL、java还是自然语言，都允许您对公共属性进行这种访问。

现在，从OO设计的角度来看，这可能是不可取的：使用这样的公共成员会创建一个强耦合，并且不能提供适当的封装。因此我会使用一些吸气剂。

结果如下所示：

请注意，如果您不喜欢b的假设已知，您可以用一个真实的约束替换说明性注释，正如我上面所解释的那样。