توليد نماذج نظام رسمية من أوصاف اللغة الطبيعية

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