ارائه یک نجو گرافیکی برای برنامه های Rabbit
سال انتشار: 1395
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 591
فایل این مقاله در 10 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
NPECE01_439
تاریخ نمایه سازی: 6 بهمن 1395
چکیده مقاله:
در علوم کامپیوتر وارسی مدل به این مسئله اشاره دارد که آیا مدل یک سیستم یک نیازمندی خاص را پشتیبانی می کند یا خیر به طور خلاصه وارسی مدل تکنیکی است برای تایید صحت عملکرد یک سیستم که دارای حالت های محدود است این شیوه ی صحت سنجی تمامی حالت های ممکن سیستم را کاوش می کند و کلیه ی سناریوهای ممکن را به روش نظام مند امتحان می نماید لذا در این راستا ابزارهای وارسی مدل گوناگونی با ویژگی های متفاوتی به وجود آمده اند که نکات ضعف و قوت خاص خود را دارند از جمله پرکاربردترین ابزارها Rabbit می باشد که از پیچیدگی ذاتی رنج می برد از آنجاییکه زبان های مدل سازی خاص حوزه سطح انتزاعی را فراهم می سازند که به کمک محیطهای مبتنی بر این گونه از زبان ها می توان بر پیچیدگی های برنامه های Rabbit غلبه نمود و با افزایش سطح انتزاع سرعت تولید را افزایش داده و کارائی را بهبود بخشید بنابراین در این مقاله متامدل خاص حوزه برای برنامه های Rabbit معرفی می کنیم این متامدل جدید راه را برای تعریف نحو انتزاعی و نحو زبان مدل سازی خاص حوزه آینده هموار می سازد ضمنا نحو زبان مدل سازی خاص حوزه ایجاد شده با یک بسته ابزاری مدلسازی گرافیکی پشتیبانی می شود
کلیدواژه ها:
نویسندگان
صابر گلوانی
دانشجوی کارشناسی ارشد دانشگاه آزاد اسلامی واحد شبستر ایران
آیاز عیسی زاده
عضو هیات علمی گروه علوم کامپیوتر دانشگاه تبریز ایران
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :