البرمجة الموجّهة بالنماذج: تصور للغات تجعل بنية النموذج جزءاً من اللغة

يدعو مقال منشور على Stack Overflow Blog إلى إعادة النظر في مفهوم البرمجة الموجّهة بالنماذج (Model Oriented Programming)، بوصفها اتجاهاً يمكن أن يفصل بين متطلبات النظام وتصميمه البرمجي، ثم يستخدم النموذج نفسه للمساعدة في إنشاء النظام وصيانته. ويستند الكاتب إلى تجربة سابقة طور خلالها، قبل 13 عاماً، لغة وبيئة تطوير سماهما Mo+، وقال إنه استخدمهما في مشاريع مؤسسية، من دون أن تنتشر الفكرة على نطاق واسع.

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

النموذج كبنية وبيانات

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

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

أربعة أشكال للتطوير الموجّه بالنماذج

• النمذجة غير الرسمية: نماذج في الذهن أو على الورق أو في مخططات لا تستخدمها أدوات برمجية مباشرة.
• النمذجة المضمّنة: نموذج داخل الشيفرة، كما في أطر ORM مثل Entity Framework وNHibernate أو أطر واجهات المستخدم مثل Angular وReact.
• النمذجة المقترنة: نموذج خارجي، غالباً باستخدام UML، يرتبط ارتباطاً قوياً بعناصر الشيفرة وأدوات إدارتها.
• النمذجة المنفصلة: نموذج يركز على المتطلبات والبيانات وسير العمل، مع ترك التصميم التفصيلي للشيفرة، بحيث لا يرتبط كل عنصر نموذج بمكوّن برمجي محدد.

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

من النموذج إلى النظام

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

ميزات اللغة المقترحة

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

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

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

لماذا يهم هذا الطرح؟

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

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