لغة المواصفات

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

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

ملخص

لا تُنفَّذ لغات المواصفات عادةً بشكل مباشر، فهي تهدف إلى وصف " ماذا" وليس " كيف" . [ 2 ] ويُعتبر خطأً أن تكون مواصفات المتطلبات مليئة بتفاصيل تنفيذية غير ضرورية.

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

في النهج الموجه نحو الخصائص في تحديد المواصفات (كما هو الحال في CASL على سبيل المثال )، تتألف مواصفات البرامج بشكل أساسي من بديهيات منطقية ، عادةً ضمن نظام منطقي يحتل فيه التساوي دورًا بارزًا، تصف الخصائص التي يجب أن تستوفيها الدوال - غالبًا من خلال علاقاتها المتبادلة. وهذا يختلف عن ما يُسمى بتحديد المواصفات الموجه نحو النموذج في أطر عمل مثل VDM و Z ، والذي يتكون من تنفيذ بسيط للسلوك المطلوب.

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

يتمثل أحد الاستخدامات المهمة للغات المواصفات في تمكين إنشاء براهين صحة البرنامج ( انظر مُثبت النظرية ).

اللغات

انظر أيضاً

مراجع

  1. ↑ جوزيف جوجين ، "لغة واحدة، لا شيء، مائة ألف لغة مواصفات" ورقة بحثية مدعوة، مؤتمر IFIP 1986، ص 995-1004.
  2. ↑ هايز، آي جيه؛ جونز، سي بي (نوفمبر 1989). "المواصفات ليست (بالضرورة) قابلة للتنفيذ" . مجلة هندسة البرمجيات . 4 (6). doi : 10.1049/sej.1989.0045 .
  3. ↑ فوكس، نوربرت إي.؛ شويرتل، أوتا؛ شويتر، رولف (1998). "Attempto Controlled English - ليست مجرد لغة أخرى لتحديد المنطق" (ملف PDF) . ورشة العمل الدولية حول توليف وتحويل البرمجة المنطقية . سلسلة محاضرات في علوم الحاسوب. المجلد 1559. سبرينغر. الصفحات 1-20 . doi : 10.1007/3-540-48958-4_1 . ISBN   978-3-540-65765-1.
  4. ↑ "أسهل لغة رسمية على الإطلاق للمطورين الذين يصممون الأنظمة الموزعة والخدمات المصغرة وتطبيقات الحوسبة السحابية" . تم الاطلاع عليه بتاريخ 28 مايو 2024 .
  5. ↑ ليندن، ثيودور؛ لورانس ماركوسيان (1989). "التوليف التحويلي باستخدام Refine" . في ريتشر، مارك (محرر). أدوات وتقنيات الذكاء الاصطناعي . أبليكس. ص 261-286 . ISBN  0-89391-494-0تم الاطلاع عليه بتاريخ 6 يوليو 2014 .
  • شعار ويكيميديا ​​كومنزالوسائط المتعلقة بلغات المواصفات على ويكيميديا ​​كومنز