لغة تحويل النموذج

📅 آخر تحديث: ١ أغسطس ٢٠٢٦
✍️ نُشر في: ١ أغسطس ٢٠٢٦
الموسوعة الحرة

لغة تحويل النماذج في هندسة النظم والبرمجيات هي لغة مخصصة تحديدًا لتحويل النماذج .

ملخص

يُعدّ مفهوم تحويل النماذج أساسيًا في تطوير البرمجيات الموجه بالنماذج . ويمكن كتابة تحويل النموذج، وهو في جوهره برنامج يُجري عمليات على النماذج، بلغة برمجة عامة، مثل جافا . مع ذلك، توفر لغات تحويل النماذج المتخصصة مزايا عديدة، كسهولة الإشارة إلى عناصر النموذج من خلال بناء جملة مُبسّط. ويُعدّ استخدام لغة متخصصة في تحويل النماذج ثنائية الاتجاه أمرًا بالغ الأهمية لكتابة تحويلات النماذج ثنائية الاتجاه، التي تحافظ على التناسق بين نموذجين أو أكثر، إذ تُساعد على تجنّب التكرار الناتج عن كتابة كل اتجاه من التحويل على حدة.

تُطوَّر معظم لغات تحويل النماذج حاليًا في الأوساط الأكاديمية. وقد قامت مجموعة إدارة الكائنات (OMG) بتوحيد مجموعة من لغات تحويل النماذج تُسمى QVT ، لكن هذا المجال لا يزال في مراحله الأولى. [ 1 ]

تُثار نقاشات مستمرة حول فوائد لغات تحويل النماذج المتخصصة، مقارنةً باستخدام لغات البرمجة العامة (GPLs) مثل جافا . [ 2 ] فبينما تتميز لغات البرمجة العامة بتوفر المعرفة العملية ودعم الأدوات على نطاق أوسع، توفر لغات التحويل المتخصصة إمكانيات تصريحية أكثر وميزات متخصصة أكثر قوة لدعم تحويلات النماذج. [ 3 ]

لغات التحويل المتاحة

  • ATL  : لغة تحويل طورتها INRIA
  • Beanbag  : لغة قائمة على العمليات لإنشاء اتساق على البيانات بشكل تدريجي [ 4 ]
  • GReAT  : لغة تحويل متوفرة في GME
  • عائلة إبسيلون  : منصة لإدارة النماذج توفر لغات تحويل لتحويلات النماذج إلى نماذج، وتحويلات النماذج إلى نصوص، والتحديث في مكانه، والهجرة، ودمج النماذج. [ 5 ]
  • F-Alloy: لغة برمجة خاصة بالمجال تعيد استخدام جزء من صيغة Alloy وتسمح بتحديد موجز لتحويلات النماذج القابلة للحساب بكفاءة. [ 6 ]
  • Henshin  : لغة تحويل نموذجية لـ EMF ، تعتمد على مفاهيم تحويل الرسم البياني ، وتوفر إمكانيات استكشاف فضاء الحالة [ 7 ]
  • JTL  : لغة تحويل نماذج ثنائية الاتجاه مصممة خصيصًا لدعم التحويلات غير التقابلية ونشر التغيير [ 8 ]
  • كيرميتا  : لغة برمجة ونمذجة للأغراض العامة، قادرة أيضاً على إجراء التحويلات
  • عائلة Lx  : مجموعة من لغات التحويل منخفضة المستوى [ 9 ]
  • M2M هو تطبيق Eclipse لمعيار OMG QVT
  • Mia-TL  : لغة تحويل طورتها شركة Mia-Software
  • لغة تحويل نماذج MOF إلى نص : حددت مجموعة إدارة الكائنات (OMG) معيارًا للتعبير عن تحويلات M2T
  • MOLA  : لغة تحويل رسومية عالية المستوى مبنية على Lx. [ 10 ]
  • MT  : لغة تحويل تم تطويرها في كلية كينجز، لندن (المملكة المتحدة) (مبنية على Converge PL)
  • QVT  : قامت OMG بتحديد معيار للتعبير عن تحويلات M2M، ويسمى MOF/QVT أو باختصار QVT.
  • SiTra  : نهج تحويل عملي يعتمد على استخدام لغة برمجة قياسية، على سبيل المثال Java أو C# [ 11 ]
  • ستراتيجو/إكس تي  : لغة تحويل تعتمد على إعادة الكتابة باستخدام استراتيجيات قابلة للبرمجة
  • تيفكات  : لغة تحويل ومحرك تحويل نماذج
  • توم  : لغة تعتمد على إعادة كتابة حساب التفاضل والتكامل، مع مطابقة الأنماط والاستراتيجيات
  • UML-RSDS  : تحويل النموذج ونهج MDD باستخدام UML و OCL [ 12 ]
  • فياترا  : إطار عمل لبيئة التحقق والتدقيق القائمة على التحويل
  • YAMTL: لغة برمجة خاصة بالمجال (DSL) لتحويل النماذج ضمن لغات JVM (Java، Groovy، Xtend، Kotlin)، وتتميز بخصائص رئيسية مثل أداء وقت التشغيل، وإعادة استخدام منطق التحويل، والتنفيذ التدريجي، والاستقلالية عن بيئات التطوير المتكاملة (IDEs). [ 13 ]

انظر أيضاً

مراجع

  1. ↑ فرانس، روبرت؛ رومبي، برنارد (2007). تطوير البرمجيات المعقدة باستخدام النماذج: خارطة طريق بحثية . مستقبل هندسة البرمجيات (FOSE '07). arXiv : 1409.6620 . doi : 10.1109/FOSE.2007.14 .
  2. ↑ "مستقبل لغات تحويل النماذج: نقاش مجتمعي مفتوح" (ملف PDF) . مؤرشف من النسخة الأصلية (ملف PDF) بتاريخ 15 فبراير 2020.
  3. ↑ هوبنر، ستيفان؛ هاس، إيف؛ تيشي، ماتياس؛ يونكه، كاتارينا (2022). "مزايا وعيوب لغات تحويل النماذج (المخصصة)" . هندسة البرمجيات التجريبية . 27 (6). arXiv : 2201.13348 . doi : 10.1007/s10664-022-10194-7 . S2CID 251644010 . 
  4. ↑ "أرشيف جوجل كود - تخزين طويل الأمد لاستضافة مشاريع جوجل كود" . code.google.com . تم الاطلاع عليه بتاريخ 21-09-2025 .
  5. ↑ "إبسيلون" . eclipse.dev . تم الاطلاع عليه بتاريخ 21-09-2025 .
  6. ↑ غامايتوني، لويك. "البرق" . lightning.gforge.uni.lu . مؤرشف من الأصل بتاريخ 15 ديسمبر 2020. تم الاطلاع عليه بتاريخ 21 سبتمبر 2025 .
  7. ↑ موقع الويب، EclipseWeb (31 يناير 2013). "Henshin | projects.eclipse.org" . projects.eclipse.org . تاريخ الاسترجاع: 21 سبتمبر 2025 .
  8. ↑ "JTL" . jtl.univaq.it . تم الاطلاع عليه بتاريخ 21-09-2025 .
  9. ↑ "المكتبة الأكاديمية اللاتفية" .{{cite web}}: CS1 maint: deprecated archiveal service ( link )
  10. ↑ "صفحات MOLA" . mola.mii.lu.lv. تم الاطلاع عليه بتاريخ 21-09-2025 .
  11. ↑ "كلية علوم الحاسوب" . جامعة برمنغهام . تم الاطلاع عليه بتاريخ 21-09-2025 .
  12. ↑ مجهول (2019-02-05). "Agile UML | projects.eclipse.org" . projects.eclipse.org . تم الاطلاع عليه بتاريخ 2025-09-21 .
  13. ↑ "YAMTL" . yamtl.github.io . تم ​​الاطلاع عليه بتاريخ 21-09-2025 .

للمزيد من القراءة

  • مجلة MDA: هندسة معمارية قائمة على النماذج مباشرة من الرواد
  • هندسة البرمجيات الموجهة بالنماذج: تطبيق هندسة البرمجيات الموجهة بالنماذج على الحوسبة المؤسسية ، ديفيد س. فرانكل ، جون وايلي وأولاده، رقم ISBN 0-471-31920-1
  • دليل OMG MDA الإصدار 1.0.1
  • هندسة البرمجيات الموجهة بالنماذج: الرؤية والمعايير والتقنيات الناشئة على موقع omg.org
  • مقدمة عن هندسة البرمجيات الموجهة بالنماذج علىموقع ibm.com
  • من تركيب الكائنات إلى تحويل النماذج باستخدام MDA على موقع omg.org
  • مينز، تي، وفان غورب، بي: تصنيف تحويل النموذج ، الملاحظات الإلكترونية في علوم الحاسوب النظرية، المجلد 152، 27 مارس 2006، الصفحات 125-142
  • تشارنيكي، ك، وهيلسن، س  : تصنيف مناهج تحويل النماذج. في: وقائع ورشة عمل OOPSLA'03 حول التقنيات التوليدية في سياق هندسة النماذج، أنهايم، كاليفورنيا، الولايات المتحدة الأمريكية. منشور إلكترونياً.
  • Gronmo, R, and Oldevik, J  : دراسة تجريبية لأداة تحويل نموذج UML (UMT).