Modèle de domaine et des contrats
-
27-09-2019 - |
Question
Je suis modélisation d'un DVD Location magasin:
- Un
Client
donne sonclientNumber
auSystem
. - Les contrôles de
System
chaque fois que leclientNumber
donné est valide. - Le
Client
donne le nom duDVD
qu'il veut louer. - ...
- ... Je vais avoir plus tard pour former une association entre une nouvelle instance de concept de classe
Rent DVD
à laClient c
actuelle.
Mon modèle de domaine est quelque chose comme:
Je l'ai fait le contrat pour les première et seconde opérations comme:
Préalables: aucun
Postconditions: il existe une Client c
telle que c.clientNumber = clientNumber
Maintenant, je ne sais pas si je devrais former une association entre cette Client c
et le DVDStore (que je compte utiliser comme front-end). Si je ne fais pas l'association, comment vais-je être plus tard en mesure de « référence » ce même client? Au cas où je fais une association entre le client et un concept différent?
Merci
La solution
Oui, on doit créer une association entre le client et DVDStore. Dans le cas contraire (comme indiqué), vous ne pouvez pas plus tard se référer au même client (au moins sans avoir à chercher ... encore!).