ترجمه درستی‌یابی‌شده زبان‌های مبتنی بر اکتور به زبان اسمبلی[پايان نامه فارسي]
میثم رستم زاده
| شناسگر رکورد: | ۵۱۸۱۳ |
| رشته تحصیلی: | علوم داده |
| عنوان: | ترجمه درستی‌یابی‌شده زبان‌های مبتنی بر اکتور به زبان اسمبلی |
| نويسنده: | میثم رستم زاده |
| استاد راهنما : | دکتر حسین حجت |
| مقطع تحصیلی : | کارشناسی ارشد |
| دانشگاه : | خاتم |
| تاریخ دفاع : | ۱۴۰۳ |
| چکیده: | در سال های اخیر، زبان‌های مبتنی بر اکتور توجه زیادی را در صنعت و دانشگاه به خود جلب کرده‌اند. این زبان ها به ویژه در طراحی سیستم هایی که در آن ها قسمت‌های مختلف سیستم به طور موازی کار می کنند کاربرد دارند. به طور خاص، ربکا ، یک زبان مبتنی بر اکتور است که در آن، سیستم به صورت مجموعه ای از فرآیند های خود مختار یا همان اکتور ها تعریف می‌شود. این اکتور ها می توانند پیام هایی برای تعامل با یکدیگر ارسال کنند. در این زبان با داشتن ابزار تولید و ارزیابی فضای حالت مدل، می توان از عدم وجود هرگونه رفتار ناخواسته در مدل اطمینان حاصل کرد. پس از اطمینان از صحت مدل، یکی از چالش های مهم، پیاده سازی صحیح اکتور ها در دنیای واقعی است. در تحقیق حاضر، نگاشتی معرفی شده است که زیرمجموعه‌ای از زبان ربکا را به زبان اسمبلی قابل اجرا روی پردازنده های آرم ، ترجمه می کند. صحت انجام ترجمه با استفاده از روش های صوری اثبات شده و نشان داده شده است که مدل ربکا و پیاده سازی آن در سطح اسمبلی، هم‌‌ارز انشعابی هستند. برای اجرای این نگاشت، نسخه اولیه ابزار رنچ توسعه داده شده که وظیفه ترجمه و تولید کد اسمبلی را بر عهده دارد. آزمایش‌های انجام شده نشان می دهند که به کمک این ابزار، می توان مدل های طراحی شده در زبان ربکا را پس از ترجمه به کد اسمبلی، روی سخت افزار واقعی اجرا کرد که عملی بودن رویکرد معرفی شده را اثبات می‌کند.این پژوهش قدمی مهم در زمینه پیاده سازی مدل های مبتنی بر اکتور در سطح سخت افزار است که می‌تواند به توسعه سیستم‌های پیچیده و کارآمدتر منجر شود. نتایج این تحقیق می تواند به محققان و توسعه دهندگان سیستم های تعاملی و توزیع شده کمک کند تا فرآیند پیاده سازی مدل های مبتنی بر اکتور را به طور مستقیم در سطح سخت افزار انجام دهند. واژه‌های كليدی: زبان های مبتنی بر اکتور، نگاشت درستی‌یابی‌شده، بررسی فضای حالت. |
| شماره ثبت | نسخه | جلد | بخش | مرجع | شماره بازیابی | در دست امانت | تاریخ بازگشت | ملاحظات | |
|---|---|---|---|---|---|---|---|---|---|
| 284673 | 1 |
جهت ثبت نظر با حساب کاربری تان وارد شوید