Modello e contratti di dominio

Question

I sto modellando un DVD Rental Store:

1. Un Client dà il clientNumber al System.
2. I controlli System ogni volta che il dato clientNumber è valido.
3. Il Client dà il nome del DVD che vuole affittare.
4. ...
5. ... io poi devono formare un'associazione tra una nuova istanza di concetto di classe Rent DVD al Client c corrente.

Il mio modello di dominio è qualcosa di simile:

Ho fatto il contratto per il primo e il secondo come operazioni:

Presupposti: nessuno

Postcondizioni: esiste un Client c tale che c.clientNumber = clientNumber

.

Ora, non so se devo formare un'associazione tra questo ed il Client c DVDStore (che ho intenzione di usare come front-end). Se non faccio l'associazione, come farò in seguito essere in grado di "riferimento" questo stesso cliente? Dovrei facendo un'associazione tra client e un concetto diverso?

Grazie

Answer 1

Sì, si deve creare un'associazione tra Cliente e DVDStore. In caso contrario (come detto), non si può in seguito fare riferimento alla stessa cliente (almeno senza dover cercare per esso ... di nuovo!).