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

Question

我已收到以下UML图实施：

从问题描述我知道

• 每美孚只能属于分块。
• 每个酒吧都属于Block。
• 酒吧可以不属于同一个Block的一个或多个Foo的。

这是什么UML图表示，如果没有， 怎么能说明关系在UML表示？

换句话说：如果两者都属于同一个Block，则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