تبدیل مدل دو سویه بر اساس چارچوب اپسیلون

توسعه ی مدل رانده از ایده ی ارتقای سطح تجرید به منظور خودکارسازی تولید کد استفاده می کند. در این روش توسعه، از روی مدل و با به کارگیری مجموعه روش هایی تحت عنوان تبدیل مدل، کد پیاده سازی به صورت (نیمه) خودکار تولید می شود. کلیه ی فعالیت های ممکن در مدل رانده با استفاده از تبدیل ها انجام می گیرد، به همین دلیل تبدیل را قلب و روح توسعه ی مدل رانده می گویند. یکی از انواع فعالیت ها تبدیل مدل به مدل است که در ساده ترین حالت، یک ارتباط تک سویه بین مدل مبدا و مقصد تعریف می شود که فقط مدل مقصد از روی مدل مبدا قابل تولید است. در حالت کلی تر، مدل های مبدا و مقصد مستقلا تغییر می یابند و در نتیجه، نیاز به تبدیل دوسویه مطرح می شود. روش های متعددی برای تعریف و اجرای یک تبدیل دوسویه در سال های اخیر ارائه شده است. در این مقاله، با توجه به چالش های این روش ها، روشی جدید بر مبنای چارچوب مدل رانده ی اپسیلون و تکنیک های ردیابی پذیری برای تبدیل مدل دوسویه ارائه می شود. برای نمایش قابلیت ها و چگونگی استفاده از روش پیشنهادی، آن را روی یک محک شناخته شده در زمینه ی تبدیل دوسویه اجرا می کنیم. از جمله ی قابلیت های روش پیشنهادی پشتیبانی از صحت، جامعیت و انتشار تغییر است.