UML类图：3个类之间的不一致

Question

我似乎对一个简单的时间跟踪器有一个问题。它的设置方式是用户可以跟踪与项目相关的命中时间或自由输入某些内容。这意味着时间表对象总是有一个用户，但并不总是有一个项目。当我在连接到用户的数据库中创建一个时间表对象，但然后将一个与用户没有关联的项目连接到同一个时间跟踪对象时，可能会出现不一致。

解决这个问题的最佳方法是什么。我听说过定向联想，但我不知道它是如何解决问题的

Answer 1

除了OCL，您还可以简单地附加一个约束（注意附加到相关连接器），其中包含以下内容：

{association can only exist if there is a connection between project and user}

Answer 2

我不明白您对TimeTrack的解释，但我认为您的建模问题只能通过添加一个完整性约束（在UML中称为“不变量”）来解决，该约束要求时间跟踪用户是时间跟踪项目用户集的成员。

这可以用以下表达式在附加到TimeTrack类的约束框中正式表示为OCL不变量：

self.project.users->includes( self.user)