Modelni o'zgartirish tili - Model transformation language

A modelni o'zgartirish tili yilda tizimlar va dasturiy ta'minot uchun maxsus mo'ljallangan til modelni o'zgartirish.

Umumiy nuqtai

Tushunchasi modelni o'zgartirish uchun markaziy hisoblanadi modelga asoslangan rivojlanish. Aslida modellarda ishlaydigan dastur bo'lgan modelni o'zgartirish umumiy maqsadli dasturlash tilida yozilishi mumkin, masalan. Java. Biroq, maxsus maqsadga mo'ljallangan modelni o'zgartirish tillari model elementlariga murojaat qilishni osonlashtiradigan sintaksis kabi afzalliklarni taklif qilishi mumkin. Ikki yoki undan ortiq modellar orasidagi izchillikni saqlaydigan ikki tomonlama modelli o'zgarishlarni yozish uchun mutaxassisning ikki tomonlama modelini o'zgartirish tili ayniqsa muhimdir, chunki bu transformatsiyaning har bir yo'nalishini alohida-alohida yozish natijasida yuzaga keladigan takrorlanishning oldini olishga yordam beradi.

Hozirgi vaqtda aksariyat modellarni o'zgartirish tillari akademik muhitda ishlab chiqilmoqda. The Obbo deb nomlangan transformatsiya modellari tillari oilasini standartlashtirdi QVT, ammo maydon hali pishmagan.[1]

Mavjud transformatsiya tillari

  • ATL : tomonidan ishlab chiqilgan transformatsiya tili INRIA
  • Beanbag (qarang [1] ): bosqichma-bosqich ma'lumotlar bo'yicha izchillikni o'rnatish uchun operatsiyaga asoslangan til
  • GRAT : mavjud bo'lgan transformatsiya tili GME
  • Epsilon oilasi (qarang [2] ): modeldan-modelga, modeldan-matnga, joyida yangilanish, ko'chish va modellarni birlashtirish uchun transformatsiya tillarini ta'minlaydigan modellarni boshqarish platformasi.
  • F-qotishma [3]: a DSL qismini qayta ishlatish Qotishma sintaksis va samarali hisoblanadigan modelni o'zgartirishni qisqacha tavsifiga imkon beradi.
  • Xenshin (qarang [4] ): uchun transformatsion model EMF, asoslangan grafani o'zgartirish davlatning kosmik tadqiqot imkoniyatlarini ta'minlaydigan tushunchalar
  • JTL : ikki yo'nalishli modelni o'zgartirish tili, bu ikki tomonlama bo'lmagan o'zgarishlarni qo'llab-quvvatlash va o'zgarishlarning tarqalishini qo'llab-quvvatlash uchun maxsus ishlab chiqilgan (qarang [5] ).
  • Kermeta : o'zgartirishlarni amalga oshirishga qodir bo'lgan umumiy maqsadli modellashtirish va dasturlash tili
  • Lx oilasi (qarang [6] ): past darajadagi transformatsiya tillari to'plami
  • M2M bo'ladi Tutilish amalga oshirish Obbo QVT standart
  • Mia-TL: transformatsiya tili Mia-Software tomonidan ishlab chiqilgan
  • Matnni o'zgartirish tiliga MOF modeli: the Obbo M2T transformatsiyalarini ifodalash uchun standartni aniqladi
  • MOLA (qarang [7] ): Lx ustiga o'rnatilgan grafik yuqori darajadagi transformatsiya tili.
  • MT: London (Buyuk Britaniya) King's College-da ishlab chiqilgan transformatsiya tili (asosida) Converge PL )
  • QVT : the Obbo deb nomlangan M2M transformatsiyalarini ifodalash uchun standartni aniqladi MOF / QVT yoki qisqacha QVT.
  • SiTra [8] : standart dasturlash tilidan foydalanishga asoslangan pragmatik transformatsiya yondashuvi, masalan. Java, C #
  • Stratego / XT : programlanadigan strategiyalar bilan qayta yozishga asoslangan transformatsiya tili
  • Tefkat : transformatsiya tili va transformatsion model
  • Tom : hisobni qayta yozishga asoslangan, naqsh va strategiyalarga mos keladigan til
  • UML-RSDS [9] : UML va OCL yordamida modelni o'zgartirish va MDD yondashuvi
  • VIATRA : transformatsiyaga asoslangan tekshirish va tasdiqlash muhiti uchun asos

Shuningdek qarang

Adabiyotlar

  1. ^ Frantsiya, Robert; Rumpe, Bernxard (2007). Model asosida ishlab chiqilgan kompleks dasturiy ta'minotni ishlab chiqish: tadqiqot yo'l xaritasi. Dasturiy injiniringning kelajagi (FOSE '07). arXiv:1409.6620. doi:10.1109 / FOSE.2007.14.


Qo'shimcha o'qish

Tashqi havolalar