UML类图中独特关系的建模

Question

这个问题是关于分析阶段的UML类图的。为了举例说明，我提出了一个极小的例子：

​

​

一张票对一个座位和一个特定的研讨会有效。一个座位可以分配给多张票，但只有一个独特的票/研讨会组合。(研讨会和独特的门票/座位组合也是如此。)

图表没有反映出这一点。我用红色标记了错误的多重数。

您知道哪些选项(越多越好)才能正确地建模需求？

Answer 1

这种交换一致性检查不能用UML或实体关系图来表示。顺便说一句，您也不能表示，从票证实例中，path票据-> same ->研讨会位置必须导致与票证->研讨会->研讨会位置相同的实例。

在形式上，你用红色标记的多重性是正确的。一个座位可以看到不止一张票，只是为了参加不同的研讨会，而另一种情况则相反。

因此，我所能提供的唯一解决方案是将需求包含在这些关系的文本规范中。这并不是件坏事，因为任何有限的图形符号集都只能表示所有可能需求的子集。

Answer 2

票可以是一个座位和研讨会之间的联系班。或者使用OCL来表示这个约束。

Answer 3

您也不能从票证实例中表示路径票证-> seat ->研讨会地点必须导致与票证->研讨会->研讨会地点相同的实例

1) OCL -上下文票证inv: seminar.seminarLocation=seat.seminarLocation

2)将座位、研讨会和研讨会之间的座位、研讨会和协会客位票拉到SeminarLocation(图13-70 http://msdl.cs.mcgill.ca/people/tfeng/docs/The%20Unified%20Modeling%20Language%20Reference%20Manual.pdf或图14-84 CD.pdf)。