ارائه یک نجو گرافیکی برای برنامه های Rabbit

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

Keywords:

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