私は DVD レンタル ストアをモデル化しています。
- A
Client
はそのclientNumber
を に与えSystem
ます。 - 指定されたが有効な場合は
System
常にチェックしclientNumber
ます。 - は、借りたい
Client
の名前を付けます。DVD
- ...
- ...後で、
Rent DVD
クラス概念の新しいインスタンスと現在のClient c
.
私は、1回目と2回目の操作の契約を次のように作成しました。
前提条件: なし
Client c
事後条件:そのようなが存在しc.clientNumber = clientNumber
ます。
Client c
ここで、これと DVDStore (フロントエンドとして使用する予定) との関連付けを作成する必要があるかどうかはわかりません。関連付けを行わない場合、後で同じクライアントを「参照」するにはどうすればよいですか? クライアントと別の概念を関連付ける必要がありますか?
ありがとう