Доменная модель и контракты

Question

Я моделирую магазин аренды DVD:

1. А. Client дает его clientNumber к тому System.
2. То System проверяет всякий раз, когда дано clientNumber является действительным.
3. То Client дает имя DVD Он хочет арендовать.
4. ...
5. ... Позже придется сформировать ассоциацию между новым экземпляром Rent DVD Концепция класса до текущего Client c.

Моя модель домена - это что-то вроде:

Я сделал контракт на первую и вторую операцию как:

Предварительные условия: нет

Посткондиоды: существует Client c Такое это c.clientNumber = clientNumber.

Теперь я не знаю, должен ли я сформировать ассоциацию между этим Client c и DVDStore (я намерен использовать в качестве интерфейса). Если я не сделаю ассоциацию, как я позже смогу «ссылаться» этот же клиент? Должен ли я сделать связь между клиентом и другой концепцией?

Спасибо

Answer 1

Да, нужно создать ассоциацию между клиентом и DVDSTORE. В противном случае (как указано) вы не можете позже обратиться к одному и тому же клиенту (по крайней мере, без необходимости поиска его ... снова!).