علیرضا روحی

rouhi

مقطع: دکتری
شروع دوره: مهرماه 1390
پايان دوره: شهریورماه 1396
عنوان پايان‌نامه: ارائه‌ی فرایندی برای تولید وارس زبان الگو

چکيده‌ي پايا‌ن‌نامه:
الگوهای طراحی،‍ راه‌حل مسائل طراحی در زمینه‌های خاص به‌حساب می‌آیند. یکی از بهترین تجربه‌های عملی در استفاده از الگوها، اِعمال الگوها به شکل زبان‌های الگوست. زبان الگو، به‌بیان ساده، مجموعه‌ای از الگوهای مرتبط است که فرایند حل یک مسئله‌ی کلی را در زمینه‌ا‌ی مشخص ارائه می‌دهد. یکی از مسائل مهمی که جامعه‌ی مهندسی نرم‌افزار با آن روبه‌روست، اطمینان از درستی کاربرد الگوها و زبان‌های الگوست. از یک سو، بی‌تردید با رشد روزافزون تعداد الگوها و زبان‌های الگو، وارسی دستی الگوها و زبان‌های الگو، امری طاقت‌فرسا و مستعد خطا خواهد بود. لذا، توسعه‌ و پشتیبانی ابزارهای وارسی زبان الگو ضروری به‌نظر می‌رسد. از سوی دیگر، به‌رغم‌ فراگیرشدن استفاده از زبان‌های الگو در عمل، فقدان یک مدل صوری برای روابط میان الگوها در حالت کلی و زبان‌های الگو در حالت خاص، توسعه و تولید ابزارهای پشتیبان را با مشکل مواجه می‌سازد.
با توجه به مسئله‌ی بیان‌شده، در این پژوهش، بر اساس جبر الگوهای طراحی، مدل صوری جدیدی برای توصیف الگوها و زبان‌های الگو ارائه می‌شود. در این راستا، نمادگان GEBNF‎، گسترش داده شده و در مدل‌سازی نمودارهای کلاس و توالی یوام‌ال به‌کار برده می‌شوند؛ این نمودارها در مدل‌سازی الگوهای رایج طراحی استفاده می‌شوند. به‌علاوه، با ارائه‌ی معانی صوری روابط مرسوم میان الگوها، راه ارائه‌ی مدل صوری زبان الگو هموار می‌شود. مطابق مدل صوری ارائه شده برای الگوها و زبان‌های الگو، فرایندی به‌نام PLVGen‎ ارائه می‌شود که برای هر زبان الگوی ورودی که با مدل صوری پیشنهادی قابل توصیف باشد، یک وارس زبان الگو به‌صورت خودکار تولید می‌کند.
برای ارزیابی فرایند PLVGen‎، به‌عنوان نمونه‌های عملی، سه وارس به‌صورت خودکار برای زبان‌های الگوی براکر، PofEAA ‎ و یک زبان الگوی امنیتی تولید می‌شوند. بررسی آمار مربوط به وارس‌های تولید شده، توسعه‌پذیری فرایند PLVGen‎ را نشان می‌دهد. همچنین، در مقایسه با ابزارهای مشابه، وارس‌های تولید شده دارای قابلیت حمل و شفافیت بیشتری بوده و عاری از ابهام هستند.

معرفی کوتاه:
عليرضا روحي مدرک کارشناسي خود را در رشته‌ي مهندسي نرم‌افزار، از دانشگاه خوارزمي تهران، در سال 1380 دريافت کرد. او سپس کارشناسي ارشد خود را در دانشگاه صنعتي شريف تهران در رشته‌ي مهندسي نرم‌افزار ادامه داد و در خردادماه 1383 فارغ‌التحصيل شد. وی سرانجام در سال 1396 در مقطع دکتري رشته‌ی مهندسي کامپیوتر گرایش نرم‌افزار تحت نظر دکتر بهمن زماني در دانشگاه اصفهان فارغ التحصیل شد.

پاسخ دهید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *

SmileBig SmileGrinLaughFrownBig FrownCryNeutralWinkKissRazzChicCoolAngryReally AngryConfusedQuestionThinkingPainShockYesNoHeartRoseStarPresent