Del modelo y de los contratos de dominio

Question

Me estoy modelando un DVD Alquiler tienda:

1. Una Client da su clientNumber a la System.
2. Los controles System cada vez que el clientNumber dado es válido.
3. El Client da el nombre de la DVD que quiere alquilar.
4. ...
5. ... Más tarde tendrá que formar una asociación entre una nueva instancia de la clase concepto Rent DVD a la Client c actual.

Mi modelo de dominio es algo así como: ??

He hecho el contrato para la primera y segunda operación como:

Condiciones previas: ninguna

Postcondiciones: existe una Client c tal que c.clientNumber = clientNumber

.

Ahora, no sé si debería formar una asociación entre esta Client c y la DVDStore (que pretendo utilizar como front-end). Si no hago la asociación, ¿cómo voy más tarde será capaz de "referencia" este mismo cliente? Debería estar haciendo una asociación entre el cliente y un concepto diferente?

Gracias

Answer 1

Sí, uno tiene que crear una asociación entre el cliente y DVDStore. De lo contrario (como se indica), no puede referirse más tarde para el mismo cliente (por lo menos sin tener que buscarlo ... otra vez!).