A new ILP system for model transformation by examples
| العنوان بلغة أخرى: |
نظام برمجة المنطلق الاستقرائي لتحويل النماذج باستخدام الامثلة |
|---|---|
| المؤلف الرئيسي: | Al Jamimi, Hamdi Ali Ahmed (Author) |
| مؤلفين آخرين: | Ahmed, Moataz (Advisor) |
| التاريخ الميلادي: |
2015
|
| موقع: | الظهران |
| الصفحات: | 1 - 197 |
| رقم MD: | 739237 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | الإنجليزية |
| الدرجة العلمية: | رسالة دكتوراه |
| الجامعة: | جامعة الملك فهد للبترول والمعادن |
| الكلية: | عمادة الدراسات العليا |
| الدولة: | السعودية |
| قواعد المعلومات: | Dissertations |
| مواضيع: | |
| رابط المحتوى: |
الناشر لهذه المادة لم يسمح بإتاحتها. |
| المستخلص: |
بتطوير هندسة البرمجيات ظهرت هندسة النماذج (MDE) وأصبح الاهتمام بنموذج أكثر من الرمز، وبالتالي زادت الحاجة لتحويل النماذج من صيغة إلى أخرى. ويتطلب تنفيذ تحويل النموذج قوانين يمكن أن يقدمها خبراء في ذات المجال. ولكن من الأسهل لكثير للخبراء تقديم أمثلة من التحويلات بدلا من كتابة مجموعة من القوانين، مؤخرا ظهر أسلوب جديد لتحويل النماذج يسمى نموذج التحويل حسب المثال (MTBE) ويعتمد على استنباط المعرفة المضمنة في أمثلة تتكون من نماذج المصدر والهدف. هذه المعرفة يمكن استخدامها لاستخلاص قوانين التحول ليتم تطبيقها في تطوير النظام في المستقبل. اكتشاف وإضفاء الطابع الرسمي على القوانين المطلوبة يمكن أن يكون آليا عن طريق استخدام خوارزميات آلة التعلم (ML). برمجة المنطق الاستقرائي (ILP) تمثل تقنية ML تنطبق إلى حد كبير في هذا السياق، حيث إنه يوظف قوة ML وأيضا القدرة على البرمجة المنطقية لاستنباط فرضيات من الأمثلة المعطاة. في هذه الأطروحة، قمنا بتطوير نظام تحويل يعتمد على ILP والذي يستخدم المعارف المتاحة في شكل أمثلة لبناء نموذج التحويل. يقوم النظام باستنباط قوانين التحويل من الأمثلة المتوفرة وإعادة استخدامها في التطبيقات المستقبلية. وعلاوة على ذلك، فإن هذا العمل يقدم مساهمتين، المساهمة الأولى تركزت على تقديم بنية تفصيلية لنظام التحويل المعتمد على ILP والمكون من ثلاثة مكونات رئيسية لاستنباط قوانين التحويل وتقييمها والتحقق من صحتها. بواسطة أحد الأنظمة المتاحة قمنا بدراسة أوجه القصور في أنظمة ILP الحالية في سياقنا، وكيف نتغلب على مشكلاتها. وتعتبر المساهمة الثانية هي تقديم نظام ILP جديد باسم نموذج التحويل باستخدام برمجة المنطق الاستقرائي (MTILP). وقد تبين من خلال التجارب قدرة MTILP للتغلب على أوجه القصور في أنظمة ILP الحالية في سياق تحويلات الــ .MDE |
|---|---|
| وصف العنصر: |
ملخص باللغة العربية |
عناصر مشابهة
-
A decision model for work distribution in global software development
بواسطة: Al Sri, Abd Alrahman Ahmed منشور: (2015) -
Development of a solar air-conditioning system in Saudi Arabia
بواسطة: Al Ugla, Ali Abd Alaziz منشور: (2015) -
Triggering mechanisms in control systems design
بواسطة: Memon, Azhar Mehmood منشور: (2015) -
RT-CUDA: a software tool for CUDA code restructuring
بواسطة: Khan, Ayaz Al Hassan منشور: (2014) -
Design and Implementation of Business Logic Layer Object-Oriented Design vs. Relational Design
بواسطة: Al Harthy, Ali Ahmed منشور: (2009)
