پرش به محتوا

زبان تبدیل مدل

از ویکی‌پدیا، دانشنامهٔ آزاد

یک زبان تبدیل مدل در سیستم ها و مهندسی نرم‌افزار زبانی است که به‌طور خاص برای تبدیل مدل در نظر گرفته شده‌است.

بررسی اجمالی

[ویرایش]

مفهوم تبدیل مدل‌های نقطه عطف توسعه مدل-رانده است. تبدیل مدل، که اساساً برنامه‌ایست که روی مدلها اعمال می‌شود، می‌تواند به یک زبان عام-منظوره مانند جاوا نوشته شود. اما زبانهای تبدیل مدل خاص-منظوره مزایایی دارند برای مثال نحو آن‌ها کار با عناصر مدل را راحتتر می‌کند. برای نوشتن تبدیل مدل دوسویه، که سازگاری را بین دو یا بیشتر مدل حفظ می‌کند، زبان تبدیل مدل دوسویه به‌طور ویژه مهم است، زیرا از تکرار جلوگیری می‌کند. منظور از تکرار نوشتن جداگانۀ هر دو جهت تبدیل است.

در حال حاضر، اکثر زبانهای تبدیل مدل در دانشگاه‌ها توسعه می‌یابند.  انجمن مدیریت شی خانواده‌ای از زبانهای تبدیل مدل به نام QVT را استانداردسازی کرده‌است اما در این زمینه هنوز نابالغ است[۱].

زبانهای تبدیل موجود

[ویرایش]
  • ATL : تحول زبان توسعه یافته توسط INRIA
  • Beanbag (نگاه کنید [۱]) : عمل بر اساس زبان برای برقراری ثبات بیش از داده‌های تدریجی
  • بزرگ : یک تغییر و تحول زبان در دسترس در GME
  • اپسیلون خانواده (نگاه کنید [۲]) : یک مدل مدیریت پلت فرم فراهم می‌کند که تحول زبان برای مدل به مدل به متن, به روز رسانی-در-محل مهاجرت و مدل ادغام تحولات است.
  • Henshin (نگاه کنید ) : زبان تبدیل مدل بر مبنایEMF بر اساس مفاهیم تبدیل گراف قابلیت اکتشاف فضای حالت را فراهم می‌کند.
  • JTL : زبان تبدیل مدل دوسویه که به‌طور خاص برای پشتیبانی از تبدیلهای غیر یک به یک و انتشار تغییر طراحی شده‌است.
  • Kermeta : زبان مدل‌سازی و برنامه‌نویسی عام-منظوره که می‌تواند برای تبدیل نیز استفاده شود.
  • خانواده Lx : مجموعه زبانهای تبدیل سطح پایین
  • M2M پیاده‌سازی استاندارد QVT معرفی شده توسط OMG که برای محیط اکلیپس توسعه یافته‌است.
  • Mia-TL : زبان تبدیل توسعه یافته توسط Mia-Software
  • زبان تبدیل مدل به متن MOF : انجمن مدیریت شی برای تبدیلهای مدل به متن این استاندارد را تعریف کرده‌است.
  • MOLA : زبان تبدیل گرافیکی سطح بالا بر روی Lx ساخته شده‌است.
  • MT : زبان تبدیل توسعه یافته در کالج کینگز لندن (انگلستان) (بر اساس زبان برنامه‌نویسی همگرا)
  • QVT : انجمن مدیریت شی یک استاندارد برای بیان تبدیلهای مدل به مدل به نام MOF/QVT یا به اختصار QVT را تعریف کرده‌است.
  • SiTra  : رویکرد تبدیل عملی بر مبنای یک زبان برنامه‌نویسی استاندارد مانند جاوا و C#
  • Stratego/XT : زبان تبدیل بر اساس بازنویسی با استراتژی‌های قابل برنامه‌ریزی
  • Tefkat : زبان و موتور تبدیل مدل
  • Tom : زبانی بر مبنای حساب بازنویسی با استراتژی‌های تطبیق الگو
  • UML-RSDS  : رویکرد تبدیل مدل و توسعه مدل-رانده با استفاده از UML و OCL
  • VIATRA : یک چارچوب برای وارسی و اعتبارسنجی مبتنی بر تبدیل

همچنین نگاه کنید

[ویرایش]

منابع

[ویرایش]
  1. France; Rumpe (2007). "Model-driven Development of Complex Software: A Research Roadmap". FOSE. doi:10.1145/1253532.1254709.

مطالعات بیشتر

[ویرایش]

پیوند به بیرون

[ویرایش]