نموذج المجال والعقود

Question

أقوم بتعيين متجر لتأجير DVD:

1. أ Client يعطيها clientNumber إلى System.
2. ال System يتحقق كلما تم تقديمه clientNumber صالح.
3. ال Client يعطي اسم DVD يريد أن يستأجر.
4. ...
5. ... سأضطر لاحقًا إلى تكوين علاقة بين مثيل جديد Rent DVD مفهوم الطبقة للتيار Client c.

نموذج النطاق الخاص بي هو شيء مثل:

لقد عقدت العقد للعمليات الأولى والثانية على النحو التالي:

الشروط المسبقة: لا شيء

شروط ما بعد ذلك: هناك أ Client c مثل ذلك c.clientNumber = clientNumber.

الآن ، لا أعرف ما إذا كان ينبغي علي تشكيل علاقة بين هذا Client c و DVDSTORE (التي أنوي استخدامها كواجهة أمامية). إذا لم أقم بإعداد الجمعية ، فكيف سأتمكن لاحقًا من "الرجوع" إلى هذا العميل نفسه؟ هل يجب أن أقوم بربط بين العميل ومفهوم مختلف؟

شكرًا

Answer 1

نعم ، يتعين على المرء إنشاء علاقة بين العميل و DVDSTORE. خلاف ذلك (كما هو مذكور) ، لا يمكنك الرجوع لاحقًا إلى نفس العميل (على الأقل دون الحاجة إلى البحث عنها ... مرة أخرى!).