DEVS-MDA معماری جدید برای شبیه‌سازهای پیشامد گسسته با استفاده از فرامدل‌ها

چكيده
فرمالیزم پیشامد گسسته یکی از پرکاربردترین فرمالیزم‌ها در حوزه مدل‌سازی و شبیه‌سازی است. یکی از چالش‌های اساسی در این حوزه نحوه پیاده‌سازی مدل‌ها و شبیه‌سازها است. برای اطمینان از صحت شبیه‌سازی‌ها و نتایج آن‌ها نیازمند این هستیم که علاوه بر بررسی مدل‌های شبیه‌سازی و اطمینان از تطابق مدل‌ها با فرمالیزم شبیه‌سازی، از صحت شبیه‌سازها و ابزارهای مورد استفاده نیز مطمئن شویم. در این پژوهش با استفاده از مفاهیم معماری مدل‌رانه، فرامدل‌ها و ابزارهای چارچوب مدل‌سازی اکلیپس، معماری و چارچوبی یکپارچه و منعطف برای تهیه مدل‌ها و شبیه‌سازهای پشامد گسسته ارائه می‌شود. با استفاده از این معماری علاوه بر اطمینان از تطابق مدل‌ها با فرمالیزم، طراحی و پیاده‌سازی شبیه‌سازهای پیشامد گسسته، و همچنین قابلیت تبدیل و جابجایی مدل‌ها بین تکنولوژی‌های مختلف نیز فرآهم می‌شود.
كلمات كليدي:مهندسی مدل‌رانه، فرامدل، مدل‌های پیشامدگسسته ، مدل‌سازی و شبیه‌سازی، شبیه‌سازها، چارچوب مدل‌سازی اکلیپس.