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

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

کلیدواژه ها:

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