ارائه یک راه حل بدون بن بست برای حل مساله غذا خوردن فیلسوف ها با استفاده از تبدیل گراف

تبدیل مدل یک روش ساده و قوی را برای مسائل متنوعی که در علم کامپیوتر و مهندسی نرم افزار مطرح شده اند، ارائه می کند. امروزه استفاده از متدهای تبدیل مدل بر اساس تبدیل گراف در حوزه مختلف کامپیوتری بسیار مورد توجه می باشد. یکی از مسائل کلاسیک مساله غذا خوردن فیلسوف ها می باشد که یکی از مشکلات مطرح آن وجود بن بست می باشد. در این مقاله به بررسی یک راه حل برای رفع مشکل بن بست در مساله فیلسوف ها با استفاده از تبدیل گراف می پردازیم. در تبدیل گراف مجموعه ای از مدل های مبدا به مدل های هدف نگاشت می شوند. قواعد تبدیل گراف شامل یک گراف سمت چپ ، یک گراف سمت راست و یک نگاشت پوشا بین گره ها (یال ها) بر روی هر دو طرف و مجموعه ای از شرایط کاربردی منفی است. ابزار پیشنهادی در این مقاله برای بررسی مساله غذاخوردن فیلسوف ها ابزار AGG می باشد. این ابزار یک محیط توسعه برای سیستم های تبدیل گراف دارای صفت برای پشتیبانی کردن یک رویکرد جبری تبدیل گراف است. این ابزار شامل ویراستارهای گراف قابل انعطاف، یک مترجم و مجموعه ای از ابزارهای اعتبار سنجی است.

کلیدواژه ها:

تبدیل گراف ، گراف نوع ، گراف نمونه ، AGG ، تبدیل مدل