| LEADER |
04580nam a22003857a 4500 |
| 001 |
0058335 |
| 041 |
|
|
|a eng
|
| 100 |
|
|
|9 388392
|a Al Jamimi, Hamdi Ali Ahmed
|e Author
|
| 245 |
|
|
|a A new ILP system for model transformation by examples
|
| 246 |
|
|
|a نظام برمجة المنطلق الاستقرائي لتحويل النماذج باستخدام الامثلة
|
| 260 |
|
|
|a الظهران
|c 2015
|
| 300 |
|
|
|a 1 - 197
|
| 336 |
|
|
|a رسائل جامعية
|
| 500 |
|
|
|a ملخص باللغة العربية
|
| 502 |
|
|
|b رسالة دكتوراه
|c جامعة الملك فهد للبترول والمعادن
|f عمادة الدراسات العليا
|g السعودية
|o 0691
|
| 520 |
|
|
|a بتطوير هندسة البرمجيات ظهرت هندسة النماذج (MDE) وأصبح الاهتمام بنموذج أكثر من الرمز، وبالتالي زادت الحاجة لتحويل النماذج من صيغة إلى أخرى. ويتطلب تنفيذ تحويل النموذج قوانين يمكن أن يقدمها خبراء في ذات المجال. ولكن من الأسهل لكثير للخبراء تقديم أمثلة من التحويلات بدلا من كتابة مجموعة من القوانين، مؤخرا ظهر أسلوب جديد لتحويل النماذج يسمى نموذج التحويل حسب المثال (MTBE) ويعتمد على استنباط المعرفة المضمنة في أمثلة تتكون من نماذج المصدر والهدف. هذه المعرفة يمكن استخدامها لاستخلاص قوانين التحول ليتم تطبيقها في تطوير النظام في المستقبل. اكتشاف وإضفاء الطابع الرسمي على القوانين المطلوبة يمكن أن يكون آليا عن طريق استخدام خوارزميات آلة التعلم (ML). برمجة المنطق الاستقرائي (ILP) تمثل تقنية ML تنطبق إلى حد كبير في هذا السياق، حيث إنه يوظف قوة ML وأيضا القدرة على البرمجة المنطقية لاستنباط فرضيات من الأمثلة المعطاة. في هذه الأطروحة، قمنا بتطوير نظام تحويل يعتمد على ILP والذي يستخدم المعارف المتاحة في شكل أمثلة لبناء نموذج التحويل. يقوم النظام باستنباط قوانين التحويل من الأمثلة المتوفرة وإعادة استخدامها في التطبيقات المستقبلية. وعلاوة على ذلك، فإن هذا العمل يقدم مساهمتين، المساهمة الأولى تركزت على تقديم بنية تفصيلية لنظام التحويل المعتمد على ILP والمكون من ثلاثة مكونات رئيسية لاستنباط قوانين التحويل وتقييمها والتحقق من صحتها. بواسطة أحد الأنظمة المتاحة قمنا بدراسة أوجه القصور في أنظمة ILP الحالية في سياقنا، وكيف نتغلب على مشكلاتها. وتعتبر المساهمة الثانية هي تقديم نظام ILP جديد باسم نموذج التحويل باستخدام برمجة المنطق الاستقرائي (MTILP). وقد تبين من خلال التجارب قدرة MTILP للتغلب على أوجه القصور في أنظمة ILP الحالية في سياق تحويلات الــ .MDE
|
| 653 |
|
|
|a هندسة الحاسبات
|a برمجة المنطلق الاستقرائي
|a هندسة البرمجيات
|a هندسة النماذج
|a رسائل الدكتوراه
|
| 700 |
|
|
|9 8232
|a Ahmed, Moataz
|e Advisor
|
| 856 |
|
|
|u 9800-005-009-0691-T.pdf
|y صفحة العنوان
|
| 856 |
|
|
|u 9800-005-009-0691-A.pdf
|y المستخلص
|
| 856 |
|
|
|u 9800-005-009-0691-C.pdf
|y قائمة المحتويات
|
| 856 |
|
|
|u 9800-005-009-0691-F.pdf
|y 24 صفحة الأولى
|
| 856 |
|
|
|u 9800-005-009-0691-1.pdf
|y 1 الفصل
|
| 856 |
|
|
|u 9800-005-009-0691-2.pdf
|y 2 الفصل
|
| 856 |
|
|
|u 9800-005-009-0691-3.pdf
|y 3 الفصل
|
| 856 |
|
|
|u 9800-005-009-0691-4.pdf
|y 4 الفصل
|
| 856 |
|
|
|u 9800-005-009-0691-5.pdf
|y 5 الفصل
|
| 856 |
|
|
|u 9800-005-009-0691-6.pdf
|y 6 الفصل
|
| 856 |
|
|
|u 9800-005-009-0691-7.pdf
|y 7 الفصل
|
| 856 |
|
|
|u 9800-005-009-0691-8.pdf
|y 8 الفصل
|
| 856 |
|
|
|u 9800-005-009-0691-O.pdf
|y الخاتمة
|
| 856 |
|
|
|u 9800-005-009-0691-R.pdf
|y المصادر والمراجع
|
| 930 |
|
|
|d n
|
| 995 |
|
|
|a Dissertations
|
| 999 |
|
|
|c 739237
|d 739237
|
