ارائه روشی جدید برای تبدیل مدل دوسویه بر اساس چارچوب اپسیلون و تکنیک‌های ردیابی‌پذیری

Abstract

توسعه مدل رانده روش نوینی در تولید نرم‌افزار است که در آن، از روی مدل و با به‌کارگیری مجموعه روش‌هایی تحت عنوان تبدیل مدل، کد پیاده‌سازی به‌صورت خودکار/ نیمه‌خودکار تولید می‌شود. کلیه فعالیت‌های ممکن در روش‌های مدل رانده با استفاده از تبدیل‌ها انجام می‌گیرد. یکی از این فعالیت‌ها، تبدیل مدل‌به‌مدل است که در ساده‌ترین حالت، ارتباطی تک‌سویه را بین مدل مبدأ و مقصد تعریف می‌کند. در این حالت، فقط می‌توان مدل مقصد را از روی مدل مبدأ به دست آورد. اما در حالت کلی‌تر، مدل‌های مبدأ و مقصد مستقلاً تغییر می‌یابند. درنتیجه، برای سازگاری به تبدیل‌های پیشرفته‌تری به‌نام تبدیل دوسویه نیاز است. روش‌های تبدیل دوسویه دارای چالش‌هایی مانند ابهام در زبان تبدیل، نمادسازی خاص و صوری‌سازی گران هستند. جهت رفع این چالش‌ها، در این مقاله، روش جدیدی برای تبدیل دوسویه برمبنای چارچوب مدل رانده اپسیلون و تکنیک‌های ردیابی‌پذیری پیشنهاد می‌شود. در این روش، روابط بین مدل‌های مبدأ و مقصد صوری‌سازی شده، سپس روی محکی شناخته‌شده پیاده‌سازی می‌شود. این روش بر اساس 10 معیار با سه روش تبدیل دوسویه مقایسه می‌گردد. نتیجه مقایسه‌ها برتری‌های روش پیشنهادی از قبیل قابلیت حمل، نگه‌داری، مصالحه و پشتیبانی عملگری را نشان می‌دهد.