A Framework for Integration Specifications for Component-Based Software
No Thumbnail Available
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Saudi Digital Library
Abstract
تعتمد النظم البرمجية المبنية على مكونات برمجية بشكل كبيرعلى دمج مكونات برمجية منفردة. يتم تطوير هذه المكونات عادة لأغراض عامة و يجري تكاملها لتلبية الوظيفة المطلوبة من النظام البرمجي المزمع بناؤه. تعتبر الشفرة البرمجية التي تقوم بعملية التكامل شفرة معقدة ومعرضة للمخاطر التي تحتاج إلى معالجة حالات التباين المحتملة بين واجهات المكونات البرمجية وتنفيذ الوظائف المفقودة التي لا تقدمها المكونات الجاري تكاملها. في هذه الأطروحة ، نقدم إطار عمل لاستنباط مواصفات التكامل للبرمجيات القائمة على مكونات برمجية. هذه المواصفات سوف تقوم بتوفير الوظائف الأساسية الناقصة، و الوظائف الثانوية الناقصة، وحل التباين في مواجهات مكونات النظام، والمحافظة على سير عملية التحكم في النظام. وويتكون الإطار من مرحلتي التحقيق و الدمج. ففي مرحلة التحقيق نهدف إلى تحديد المواجهات الاولية و الوظائف المفقودة بناء على المعلومات المعطاة من حالات الإستخدام للنظام و الخدمات المقدمة من قبل المكونات البرمجية. أما في مرحلة الدمج فسوف نستخدم قيودا لغوية بواسطة لغة تقييد الكائن (OCL) لإضافة قيود على مواصفات التكامل. في إطار العمل سوف سيتم إستخراج نوعين من مواصفات التكامل. أحدهما سيكون على شكل مجموعة من مخططات التسلسل المبنية على المكونات البرمجية (CompBSDs) وهو ناتج عن مرحلة التحقيق. وسوف يكون الاخر على شكل مخطط أصناف مقيد (OCCD) وهو ناتج عن مرحلة الدمج. وعلاوة على ذلك ، فقد قمنا بتطبيق إطار العمل على نظام حجز الفنادق كدراسة حالة.