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

سال انتشار: 1395
محل انتشار: اولین کنفرانس بین المللی چشم انداز های نو در مهندسی برق و کامپیوتر
کد COI اختصاصی: NPECE01_439
زبان مقاله: فارسی
تعداد مشاهده: 597

نویسندگان

دانشجوی کارشناسی ارشد دانشگاه آزاد اسلامی واحد شبستر ایران

عضو هیات علمی گروه علوم کامپیوتر دانشگاه تبریز ایران

چکیده

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

کلیدواژه ها

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

مقالات مرتبط جدید

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.