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

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

نظرة عامة

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

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

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

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

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

لغات

انظر أيضًا

مراجع
  1. Fuchs, Norbert E.; Schwertel, Uta; Schwitter, Rolf (1998). "Attempto Controlled English—not just another logic specification language" (PDF). International Workshop on Logic Programming Synthesis and Transformation. 1559. Springer. صفحات 1–20. doi:10.1007/3-540-48958-4_1. ISBN 978-3-540-65765-1. الوسيط |CitationClass= تم تجاهله (مساعدة)
  2. Linden, Theodore; Lawrence Markosian (1989). "Transformational Synthesis Using Refine". In Richer, Mark (المحرر). AI Tools and Techniques. Ablex. صفحات 261–286. ISBN 0-89391-494-0. اطلع عليه بتاريخ 06 يوليو 2014. الوسيط |CitationClass= تم تجاهله (مساعدة)
    • بوابة علم الحاسوب
    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.