لغة تحويل أطلس

📅 آخر تحديث: ٤ أغسطس ٢٠٢٦
✍️ نُشر في: ٤ أغسطس ٢٠٢٦
📷 يحتوي على 3 صور
الموسوعة الحرة
السياق التشغيلي لـ ATL

لغة تحويل أطلس ( ATL ) هي لغة وأدوات لتحويل النماذج، طُوّرت وتُدار من قِبل OBEO وAtlanMod. وقد أُطلقت من قِبل فريق AtlanMod (المعروف سابقًا باسم مجموعة أطلس). في مجال هندسة النماذج (MDE)، تُتيح ATL طرقًا لإنتاج مجموعة من النماذج المستهدفة من مجموعة من النماذج المصدرية.

تم إصدار ATL بموجب شروط رخصة Eclipse العامة ، وهو مكون M2M (Eclipse) ، داخل مشروع Eclipse Modeling Project (EMP).

ملخص

لغة ATL هي لغة لتحويل النماذج (MTL) طورتها OBEO و INRIA استجابةً لطلب تقديم العروض الخاص بـ QVT . وQVT معيارٌ من معايير مجموعة إدارة الكائنات (OMG ) لإجراء تحويلات النماذج ، ويمكن استخدامها للترجمة النحوية أو الدلالية . وتعتمد ATL على آلة افتراضية لتحويل النماذج .

لغة ATL هي استجابة مجموعة أبحاث ATLAS INRIA & LINA لطلب تقديم العروض الخاص بـ OMG MOF/QVT. وهي لغة لتحويل النماذج، مُحددة كنموذج فوقي وكصيغة نصية ملموسة. وهي مزيج بين الأسلوبين التصريحي والإجرائي. يُفضل استخدام الأسلوب التصريحي في كتابة التحويلات، مما يسمح بالتعبير عن عمليات الربط البسيطة بسهولة. ومع ذلك، تُوفر بنى إجرائية لتحديد بعض عمليات الربط المعقدة التي يصعب التعامل معها تصريحيًا. يتكون برنامج تحويل ATL من قواعد تُحدد كيفية مطابقة عناصر النموذج المصدر والتنقل بينها لإنشاء عناصر النماذج الهدف وتهيئتها.

بنيان

تم تعريف وتنفيذ آلة افتراضية موجهة نحو تحويل النماذج لتوفير دعم تنفيذي للغة ATL مع الحفاظ على مستوى معين من المرونة. في الواقع، تصبح ATL قابلة للتنفيذ ببساطة لوجود تحويل محدد من نموذجها الفوقي إلى بايت كود الآلة الافتراضية. لذا، فإن توسيع ATL هو في الأساس مسألة تحديد دلالات تنفيذ ميزات اللغة الجديدة من خلال تعليمات بسيطة: إجراءات أساسية على النماذج (إنشاء العناصر وتعيين الخصائص).

مثال

سيأخذ برنامج ATL ( T1.atl هنا) النموذج Ma.xmi كمدخلات، وسينتج النموذج Mb.xmi كمخرجات. يمكن التعبير عن كلا النموذجين وفقًا لمعيار OMG XMI . يتوافق النموذج Ma مع النموذج الفوقي MMa.km3 ، بينما يتوافق النموذج Mb ​​مع النموذج الفوقي MMb.km3 . تُعدّ صيغة KM3 لغةً بسيطةً ومحايدةً لتحديد مواصفات النماذج الفوقية.

إن برنامج ATL نفسه ( T1.atl هنا) هو أيضًا نموذج، لذا فهو يتوافق مع نموذج فوقي (النموذج الفوقي لـ ATL) غير معروض هنا.

يتكون برنامج ATL من رأس، ومجموعة من الدوال الخالية من الآثار الجانبية تسمى الدوال المساعدة ، ومجموعة من القواعد .

التطبيقات

تتوفر إضافة ATL Development Toolkit مفتوحة المصدر من مشروع ATL Eclipse Modeling Project (EMP) [ 2 ] ، وهي تُطبّق لغة تحويل ATL المستوحاة من لغة QVT الخاصة بـ MOF للاستعلام/العرض/التحويل . [ 3 ] كما تتوفر مكتبة واسعة من التحويلات. [ 4 ] تُعدّ MOF QVT لغةً متخصصةً في مجال تحويل النماذج، وتدعم النماذج المتوافقة مع Ecore وEMOF و KM3 ( لغة متخصصة في مجال تحديد مواصفات النماذج الفوقية)، وغيرها. وتعمل ATL أيضًا على MDR/ NetBeans .

انظر أيضاً

مراجع

  1. ↑ "ATL - Download" . eclipse.org . تم الاطلاع عليه بتاريخ 25-12-2024 .
  2. ↑ "ATL | مؤسسة إكليبس" . www.eclipse.org . مؤرشف من الأصل في 15 مايو 2016.
  3. ↑ "ATL - التوثيق | مؤسسة إكليبس" . www.eclipse.org . مؤرشف من الأصل بتاريخ 22 نوفمبر 2016.
  4. ↑ أليار، فريدي. "تحولات أتلانتا | مؤسسة إكليبس" . www.eclipse.org . مؤرشف من الأصل في 22 نوفمبر 2016.

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

  • بوهلين، م: تحويل QVT والتحويل متعدد النماذج الفوقية في MDA . منشور إلكترونياً
  • واجيلار، د: دراسة حالة هندسة النماذج: استخدام تحويلات النماذج للغة النمذجة الموحدة (UML) ولغة المجال الخاصة بالمجال (DSL) . منشور إلكترونياً
  • تشارنيكي، ك.، وهيلسن، س  .: تصنيف مناهج تحويل النماذج. في: وقائع ورشة عمل OOPSLA'03 حول التقنيات التوليدية في سياق هندسة البرمجيات الموجهة بالنماذج. أنهايم (كاليفورنيا، الولايات المتحدة الأمريكية). منشور إلكترونيًا.
  • ModelBaset.net. أدوات MDA
  • SoftwareMag.com. أدوات هندسة التصميم الإنشائي . منشور على الإنترنت

مقالات

  • هندسة البرمجيات الموجهة بالنماذج: الرؤية والمعايير والتقنيات الناشئة على موقع OMG.org
  • مقدمة عن هندسة البرمجيات الموجهة بالنماذج على موقع IBM.com
  • من تركيب الكائنات إلى تحويل النماذج باستخدام MDA على موقع OMG.org
  • جوولت، ف. وكورتيف، إ.: حول التوافق المعماري بين ATL وQVT . في: وقائع ندوة ACM حول الحوسبة التطبيقية (SAC 06)، مسار تحويل النماذج. ديجون (بورغون، فرنسا)، أبريل 2006. منشور إلكترونيًا.

لغة تحويل نموذج أطلس ATL

  • مجموعة أخبار Eclipse/M2M: مجموعة نقاش ATL .
  • جوولت، ف. وكورتيف، إ.: حول التوافق المعماري بين ATL وQVT . في: وقائع ندوة ACM حول الحوسبة التطبيقية (SAC 06)، مسار تحويل النماذج. ديجون (بورغون، فرنسا)، أبريل 2006. منشور إلكترونيًا.
  • إكليبس  : M2M/ATL هو جزء من مشروع النمذجة على المستوى الأعلى الجديد

أداة تحويل نموذج UMT UML

  • غرونمو، ر.، وأولديفيك، ج  .: دراسة تجريبية لأداة تحويل نموذج UML (UMT) . في: مؤتمر INTEROP-ESA'05، فبراير 2005. منشور إلكترونياً.
  • فولتر، م: تطوير البرمجيات الموجهة بالنماذج . منشور إلكترونياً
  • موقع البوابة الإلكترونية MDA وتحويل النموذج :