这种关系可以用UML建模吗？

Question

我收到了以下用于实现的UML图：

从问题描述中我知道

• 每个Foo完全属于Block。
• 每个栏都属于Block。
• 一个Bar可以属于none，一个或多个Foo的属于同一个Block 。

这是UML图表所表达的内容，如果没有， 如何在UML中表达所描述的关系？

换句话说：Foo和Bar之间的关系只能 如果两者都属于同一个块则存在。我被告知了 图中的聚合（菱形）确保这是真的。

_{我已经问过another question同样的问题。}

Answer 1

你的图表没问题。为了表达条形的Foos必须位于条形块中的要求，您需要所谓的约束。在UML中，约束通常在Object Constraint Language（OCL）中制定。

你的约束可能写成这样：

context Bar
inv: self.foo -> forAll(t |  t.block = self.block)

Answer 2

http://www.omg.org/spec/UML/2.5/Beta1/PDF/第194页（在文件204中），图11.5

Answer 3

另见http://msdl.cs.mcgill.ca/people/tfeng/docs/The%20Unified%20Modeling%20Language%20Reference%20Manual.pdf第230页，图13-70