Modelo de domínio e contratos

Question

Estou modelando uma loja de aluguel de DVD:

1. UMA Client dá o seu clientNumber para o System.
2. o System cheques sempre que o dado clientNumber é válido.
3. o Client dá o nome do DVD Ele quer alugar.
4. ...
5. ... mais tarde terei que formar uma associação entre uma nova instância de Rent DVD conceito de classe para o atual Client c.

Meu modelo de domínio é algo como:

Eu fiz o contrato para a primeira e a segunda operações como:

Pré -condições: nenhuma

PostConditions: existe um Client c de tal modo que c.clientNumber = clientNumber.

Agora, não sei se devo formar uma associação entre isso Client c e o dvdstore (que pretendo usar como front-end). Se eu não fizer a associação, como mais tarde poderei "fazer referência" a esse mesmo cliente? Devo fazer uma associação entre o cliente e um conceito diferente?

Obrigado

Answer 1

Sim, é preciso criar uma associação entre Cliente e DVDStore. Caso contrário (como indicado), você não poderá se referir mais tarde ao mesmo cliente (pelo menos sem precisar procurar por isso ... novamente!).