چارچوبی برای معناشناسی رسمی زبانهای مبتنی بر اکتور [پايان نامه فارسي]
مهرخ میرانی
| شناسگر رکورد: | ۲۰۴۰۷ |
| رشته تحصیلی: | علوم داده |
| عنوان: | چارچوبی برای معناشناسی رسمی زبانهای مبتنی بر اکتور |
| نويسنده: | مهرخ میرانی |
| استاد راهنما : | دکتر حسین حجت دکتر مرجان سیرجانی |
| مقطع تحصیلی : | کارشناسی ارشد |
| دانشگاه : | خاتم |
| تاریخ دفاع : | ۱۴۰۲ |
| چکیده: | در دهههای اخیر با پیشرفت کامپیوترها و شبکهسازی آنها،سیستمهای توزیعشده جایگاه قابل توجهی پیدا کردهاند. زبانهای مبتنی بر اکتور، زبانهایی برای برنامهنویسی یا توصیف سیستمهای توزیعشدهی همروند هستند. در مدل اکتور، سیستم از واحدهای محاسباتی مستقل به نام اکتور تشکیل شده است که هر یک حافظه و پردازشگری مجزا دارد. این اکتورها تنها از طریق ارسال پیام و به طور غیرهمگام میتوانند با یکدیگر ارتباط برقرار کنند و به این ترتیب، مشکلاتی مانند خطرات دسترسی به حافظه مشترک آنها را تهدید نمیکند. زبانهای مبتنی بر اکتور هر یک با توجه به نیازهای خاص و برای مقاصدی توسعه داده شدهاند و در جزئیات اجرا و بخشهای مختلف تفاوتهایی دارند، اما از آنجا که همگی از الگوی محاسباتی اکتور پیروی میکنند، میتوان آنها را در یک دسته قرار داد و از همین رو شباهتهایی میان آنها مشاهده کرد. به کمک شناسایی این شباهتها، میتوان برای این زبانها چارچوب مشترکی تعریف کرد و تفاوتهای میان آنها را به طور واضح نشان داد. این چارچوب به ما قدرت مقایسهی زبانهای موجود از نظر شیوهی ارسال پیامها و ارتباط و اجرای اکتورها را میدهد. این رساله تلاشی برای معرفی چارچوبی به نام مدل اکتور شفاف است که برای زبانهای اکتور ارائه شده است. در این مدل، جهت تاکید بر ارتباطات و همکاری بین اکتورهای مختلف، شبکه به عنوان واحد مستقلی درنظر گرفته شده است که دارای حافظهی میانگیر مخصوص به خود است و ارسال پیام به چند مرحلهی جزئیتر شکسته شده است. تقسیمبندی ارسال پیام بین اکتورها به مراحل جزئی، کمک میکند این فرایند به طور دقیقتری بررسی شده و تفاوتهای بین زبانهای مختلف در هر یک از این قسمتها به طور مشخص بیان شود چارچوب ارائهشده برای مدل اکتور شفاف در قالب زبانی به نام بابل بیان شده و قوانین معناشناسی عملیاتی ساختاری (structural operational semantics) آن نوشته شدهاند. این قوانین معناشناسی به طور غیر قابل تغییر تعیین نشدهاند و در برخی از قسمتها شروطی تحت عنوان نقاط تغییر وجود دارد که در مورد آنها با توجه به سیاستهای زبان مورد نظر تصمیمگیری میشود. این بدین معناست که بابل به تنهایی یک زبان کامل نیست بلکه یک چارچوب انعطافپذیر است که پس از تصمیمگیری در مورد نقاط تغییر، میتوان زبان دلخواه را از آن به دست آورد. در این رساله با مدلسازی قوانین معناشناسی بابل در زبان ماد، از کارکرد درست این قوانین مطمئن میشویم. سپس با استفاده از منطق بازنویسی رفتار چند زبان مبتنی بر اکتور اجرایی میشود و با انجام آزمایشاتی به مقایسهی برخی ویژگیهای این زبانها و ریشهی تفاوتهای میان آنها میپردازیم. واژههای کلیدی: زبانهای مبتنی بر اکتور، سیستمهای توزیعشدهی همروند، معناشناسی عملیاتی ساختاری، سیاست طراحی، طبقهبندی زبانها |
| شماره ثبت | جزء | نسخه | جلد | بخش | قسمت | مرجع | شماره بازیابی | در دست امانت | تاریخ بازگشت | ملاحظات | |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 284098 | 1 |
جهت ثبت نظر با حساب کاربری تان وارد شوید