UML通信图中涉及的对象之间的关系

简言之

在UML通信图中,相互交互的对象在视觉上用线连接,有序的消息可以沿着线在两个方向上循环。对象之间的线通常表示链接,即关联的实例。但对象可以交换消息,即使它们没有关联(例如,如果一个对象作为参数传递或返回给另一个)。

我希望在不相关联的对象之间表示这样的消息交换。但我想澄清一下,所涉及的对象之间没有直接的关联。UML规范是否允许在不创建用户定义的构造型的情况下表达这一点?

此外,当前的UML规范是否在某个地方定义了交互通信图中对象之间关系的术语?是否可以在图中进一步指定通信对象是如何相互了解的?

提问前做了更多的研究

我目前正在重读“ UML用户指南,第2版 “由Grady Booch、James Rumbaugh和Ivar Jacobson撰写,这是一本以读者友好的明文解释UML规范的伟大书籍。这是该书的更新版UML2,我可以将其大部分主张映射回UML 2.5.1规范。

然而,在关于交互的第16章中,他们解释了对象通过链接进行通信:

链接指定一条路径,一个对象可以沿着该路径将消息发送到另一个(或同一个)对象。(…)如果您需要更精确地了解该路径的存在方式,可以使用以下约束之一来装饰链接的适当一端:

• 关联:(…)对象通过关联可见
• self:(…)对象可见,因为它是操作的调度程序
• global:(…)对象可见,因为它位于封闭范围内
• local:(…)对象可见,因为它在本地作用域中
• parameter:(…)对象可见,因为它是一个参数

在第19章中,他们为通信图解释了交互中涉及的对象是相互关联的:

将连接这些对象的链接渲染为此图的圆弧。链接可能有用于识别它们的角色名。最后,用对象发送和接收的消息来装饰这些链接。

这似乎很简单。因此,我查找了相应的UML 2.5.1规范:

• 链接仅定义为关联的实例。
• 对于通信图,在第17.9节中根本没有提及链路或通信信道。图17.26显示了相互连接的对象(即生命线),但连接对象的线和表示沿线消息的箭头似乎都被图形定义为“消息”。这在我看来很含糊。
• 此外,我还没有发现任何关于约束、关键字或预定义刻板印象的参考,这些约束、关键字和刻板印象可以描述对象如何在特定的图表中相互了解,并可以证明它们之间的沟通渠道是合理的。
• 我可以找到 «association» , «local» , «global» , «parameter» (与上面的含义相同)在过时的UML1.4规范中被定义为原型,但在当前规范中不再存在。

因此,我提出了这个问题。