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