Доказательство того, что для данной UML-диаграммы нет экземпляра - PullRequest
Новая
       22

Доказательство того, что для данной UML-диаграммы нет экземпляра

1 голос
/ 27 марта 2019

Учитывая диаграмму в верхнем правом углу, я должен решить, есть ли какой-либо действительный экземпляр этого. Теперь данное изображение является контрразведкой на примере («wegen» означает «из-за»). Противоударное устройство использует мощность («Mächtigkeit») объектов.

Не понимаю, почему например 2 * | A | равно | C |, как и в UML, A будет связан с 2 объектами C (rel1). Таким образом, для каждого A должно быть 2 C, чтобы создать действительный экземпляр. 2 * | | = | C | поэтому должно быть | A | = 2 * | C |.

Почему все наоборот?

enter image description here

1 Ответ

1 голос
/ 27 марта 2019
  • 2*|A| = |C|, поскольку количество C объектов удваивается по сравнению с A, потому что с каждым A связаны два C.
  • |A| = |B|, поскольку они имеют1-1 отношение
  • 3*|C| = 2*|B|, потому что каждый C имеет 3 B, а каждый B имеет 2 C
  • (4) и (5) являются просто заменами, гдепоследнее дает противоречие

qed

PS Как указала @ShiDoiSi, в множителях нет ограничения {unique}.Это позволит иметь несколько ассоциаций для одного экземпляра.Ergo, у вас 1-1 отношения.Таким образом, в этом случае у вас на самом деле CAN есть действительный экземпляр модели.

А теперь иди и скажи это своему учителю xD

...