في عالم هندسة النظم المعتمدة على النماذج (Model-Based Systems Engineering - MBSE)، تُعتبر النماذج الرسمية بمثابة أدوات أساسية لتمثيل المتطلبات، الهيكل، والسلوك عبر دورة حياة النظام. ومع إدخال نظام SysMLv2 كلغة نصية موحدة، بدأ الاهتمام في تحويل الوصف بلغة طبيعية مباشرةً إلى نماذج قابلة للتنفيذ يتزايد بصورة ملحوظة.

نقدم لكم إطار عمل يعتمد على مبدأ التحقق من التوافق (Conformance Checker) لتحويل اللغة الطبيعية إلى SysMLv2 بشكل موثوق، حيث يتم استخدام عمليات تسليم محددة لضمان قبول النماذج في بيئات العمل المستخدمة في الصناعة، وليس فقط الوفاء بالقيود النحوية.

يعمل هذا النظام من خلال دمج مدقق التوافق SysMLv2 داخل حلقة توليد-تحقق-إصلاح (Generate-Check-Repair Loop). يتم تقييم كل نموذج باستخدام المدقق، ودمج التشخيصات الحتمية في المراجعات حتى يتم تحقيق عدم وجود أخطاء توافق. باستخدام المدقق الإنتاجي كمعيار أساسي، يضمن هذا الإطار استهداف القابلية للاستخدام في الإنتاج بدلاً من مجرد احتمالية النحو.

عند تقييم هذه الطريقة على مجموعة كاملة من 151 استفسار (Prompt) عبر أربعة نماذج لغوية كبيرة، تم الحصول على 604 حالة نموذج-استفسار. حققت عملية التوليد الفوري نسبة 51.16% من قبول التوافق الإنتاجي، بينما حقق نهجنا نسبة 100.00% من التوافق.

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