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

چکیده مقاله

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

کلیدواژه‌ها

نویسندگان

صابر گلوانی

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

آیاز عیسی زاده

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

گلوانی، صابر و عیسی زاده، آیاز،1395،ارایه یک متامدل خاص حوزه و نحو ذاتی متنی برای برنامه های Rabbit،سومین کنفرانس سراسری نوآوری های اخیر در مهندسی برق و کامپیوتر،تهران

ارائه‌شده در

مجموعه مقالات چهارمین کنفرانس بین المللی مهندسی برق و کامپیوتر23 دی 1395 · تهران