A NEW ILP SYSTEM FOR MODEL TRANSFORMATION BY EXAMPLES

Abstract

بتطوير هندسة البرمجيات ظهرت هندسة النماذج MDE)) واصبح الاهتمام بالنموذج اكثر من الرمز، وبالتالي زادت الحاجة لتحويل النماذج من صيغة إلى أخرى. ويتطلب تنفيذ تحويل النموذج قوانين يمكن أن يقدمها خبراء في ذات المجال. ولكن من الأسهل للخبراء تقديم أمثلة من التحويلات بدلا من كتابة مجموعة من القوانين. مؤخرا ظهر اسلوب جديد لتحويل النماذج يسمى نموذج التحويل حسب المثال (MTBE) ويعتمد على استنباط المعرفة المضمنة في امثلة تتكون من نماذج المصدر والهدف. هذه المعرفة يمكن استخدامها لاستخلاص قوانين التحول ليتم تطبيقها في تطوير النظام في المستقبل. اكتشاف وإضفاء الطابع الرسمي على القوانين المطلوبة يمكن أن يكون آليا عن طريق استخدام خوارزميات آلة التعلم (ML). برمجة المنطق الاستقرائي (ILP) تمثل تقنية ML تنطبق إلى حد كبير في هذا السياق، حيث انه يوظف قوة ML وايضا القدرة على البرمجة المنطقية لاستنباط فرضيات من الأمثلة المعطاة. في هذه الأطروحة، قمنا بتطوير نظام تحويل يعتمد على ILPوالذي يستخدم المعارف المتاحة في شكل أمثلة لبناء نموذج التحويل. يقوم النظام بإستنباط قوانين التحويل من الامثلة المتوفرة وإعادة استخدامها في التطبيقات المستقبلية. وعلاوة على ذلك، فإن هذا العمل يقدم مساهمتين. المساهمة الاولى تركزت على تقديم بنية تفصيلية لنظام التحويل المعتمد على ILP والمكون من ثلاثة مكونات رئيسية لاستنباط قوانين التحويل وتقييمها والتحقق من صحتها. بواسطة احد الانظمة المتاحة قمنا بدراسة أوجه القصور في أنظمة ILP الحالية في سياقنا، وكيف نتغلب على مشكلاتها. وتعتبر المساهمة الثانية هي تقديم نظام ILP جديد بإسم نموذج التحويل باستخدام برمجة المنطق الاستقرائي MTILP)). وقد تبين من خلال التجارب قدرة MTILP للتغلب على اوجه القصور في أنظمة ILP الحالية في سياق تحويلات الـ MDE.