صابر گلوانی - دانشجوی کارشناسی ارشد دانشگاه آزاد اسلامی واحد شبستر ایران
آیاز عیسی زاده - عضو هیات علمی گروه علوم کامپیوتر دانشگاه تبریز ایران

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

متامدل،زبان های مدل سازی خاص حوزه،برنامه های Rabbit