books software structural configuration logic
If you do not find what you're looking for, you can use more accurate words.
منطق التكوين الهيكلي للبرامج (Info)
التكوين الهيكلي للبرامج هو طريقة لتكوين البرامج من المكونات التي تم تنفيذها بالفعل (على سبيل المثال من أوامر الحاسوب أو أساليب كائن البرنامج) التي يمكن اعتبارها وظائف. يتم إعطاء مواصفات التكوين في المنطق الافتراضي الحدسي عن طريق كتابة البديهيات حول قابلية تطبيق الوظائف.بديهية حول قابلية تطبيق دالة f هي استتباع منطقي
X1 ∧ X2 ∧ ... ∧ Xm → Y1 ∧ Y2 ... Yn,
حيث X1 ،X2 ،...Xm هي شروط مسبقة وY1 ،Y2 ،...Yn هي شروط لاحقة لتطبيق الوظيفة f. في المنطق الحدسي، تسمى الوظيفة f تحقيق هذه الصيغة. يمكن أن يكون الشرط المسبق اقتراحًا يشير إلى وجود بيانات الإدخال، على سبيل المثال قد يكون لـ Xi معنى "تلقى المتغير xi قيمة"، ولكنه قد يشير أيضًا إلى بعض الشروط الأخرى، على سبيل المثال: أن الموارد اللازمة لاستخدام الوظيفة f متاحة، إلخ. قد يكون الشرط المسبق أيضًا ضمنيًا من نفس شكل البديهية المذكورة أعلاه، ثم يطلق عليه مهمة فرعية. تشير المهمة الفرعية إلى وظيفة يجب أن تكون متاحة كمدخل عند تطبيق الوظيفة f. يجب تكوين هذه الوظيفة نفسها في عملية التكوين الهيكلي للبرامج. في هذه الحالة، فإن تحقيق البديهية هو دالة مرتبة عليا، أي وظيفة تستخدم دالة أخرى كمدخل. على سبيل المثال، الصيغة:
(الحالة ← الحالة التالية) الحالة الأولية ← النتيجة
يمكن تحديد وظيفة ترتيب أعلى مع مدخلين ونتائج الإخراج. المدخل الأول هو وظيفة يجب تكوينها لحساب الحالة التالية من الحالة، والمدخل الثاني هو الحالة الأولية. وظائف النظام الأعلى تعطي عمومية للتكوين الهيكلي للبرامج، يمكن برمجة أي هيكل تحكم مطلوب في برنامج مركب واستخدامه تلقائيًا مع المواصفات ذات الصلة. على وجه الخصوص، فإن البديهية الأخيرة المعروضة هنا هي مواصفات برنامج معقد، محرك محاكاة لمحاكاة الأنظمة الديناميكية على النماذج حيث يمكن حساب الحالة التالية من حالة النظام.
