المواصفات القائمة على النموذج

الموسوعة الحرة

يُعدّ التحديد القائم على النموذج منهجًا للتحديد الرسمي ، حيث يُعبّر عن مواصفات النظام كنموذج لحالة النظام . يُبنى هذا النموذج باستخدام كيانات رياضية مفهومة جيدًا، مثل المجموعات والدوال . تُحدد عمليات النظام بتحديد كيفية تأثيرها على حالة نموذج النظام.

أكثر الرموز استخدامًا لتطوير المواصفات القائمة على النماذج هي VDM [ 1 ] [ 2 ] و Z [ 3 ] [ 4 ] (تُنطق زيد، وليس زي). تستند هذه الرموز إلى نظرية المجموعات المُصنفة . ولذلك، تُنمذج الأنظمة باستخدام المجموعات والعلاقات بينها.

هناك نهج آخر معروف جيدًا للمواصفات الرسمية وهو المواصفات الجبرية .

انظر أيضاً

مراجع

  1. ↑ كليف ب. جونز (1980). تطوير البرمجيات: منهج دقيق . برنتيس هول إنترناشونال. ISBN 0-13-821884-6.
  2. ↑ كليف ب. جونز (1986). تطوير البرمجيات المنهجي باستخدام VDM . برنتيس هول إنترناشونال. ISBN 0-13-880717-5.
  3. ↑ إيان ج. هايز (مايو 1986). "استخدام الرياضيات لتحديد مواصفات البرمجيات" (ملف PDF) . وقائع المؤتمر الأسترالي الأول لهندسة البرمجيات . ASWEC-86. الصفحات 67-71 . 
  4. ↑ ج. مايكل سبيفي (1992). ترميز Z: دليل مرجعي ( الطبعة الثانية). سلسلة برنتيس هول الدولية في علوم الحاسوب. ISBN  0-13-978529-9أُرشف من المصدر الأصلي بتاريخ 9 أكتوبر 2008. تم الاطلاع عليه بتاريخ 24 أكتوبر 2010 .