مشخصات پژوهش

عنوان	ارائه راهکاری جهت مقابله با مشکل انفجار فضای حالت در سیستمهای تبدیل گراف با استفاده از الگوریتم پرندگان و جستجوی گرانشی
نوع پژوهش	مقاله چاپ‌شده
کلیدواژه‌ها	Model checking, deadlock, particle swarm optimization, PSO, gravitational search algorithm, graph transformation
چکیده	ی لدم، یک راکهار و راکدوخ شوری ب بس انمهروظنم یتس ردیبای سی متسیاه مرنیرازفا نئمطم تس ا رد . نیا سی متس،اه منیناوت ری کس زورب اطخ تح اری رددنیآرف ذپ تس تیتفر و اذل تس ا مزلادنیآرف تس ردییبای، پ زا لبقیهدا زاسی س .دوش ماجنا لدم حطس رد وی سمتاهی دبتیل رتدربراکرپ زا ،فارگین سی متسیاه لدم زاسی مس ری راکهار وی ب بسانمهروظنم لدم یزاس س راو وی سی متسیاه پیچیهد .دنتسهما ااین سی متس رد اهدنیآرف س راوی لدم لکش م زاراجفنا یاض ف تلاحیم جنردنرب هدرتس گ تروص رد هک و هلئس م داعبا ندوباذل گرزب ض ف ندشای ح تلا س ،لدمی متس هجاوم هظفاح دوبمک اب یم دوشا زا فده اذل .ین پ ،شهوژپی داهنش راکهاری تهج لکش م نیا اب هلباقم رددنیآرف س راوی سی متسیاه دبتیل اهراکهار .تتتسا فارگی هئاراهدتتش، هباجی لوتید لکاتتضفی تتسر تهج رد ار نآ ،تلاحیند هبیک ب اطخ تلاحهنب لاثم روطتتتسباده ،یت یمپ راکهار .دننکی داهنشی انبم ربی روگلایمت حارط ناگدنرپی هدش ارب وی گولجیری هب رد نداتفا ماد هب لکشم زایهنیاه لحمی کشم هک لصا لی نیا روگلایمت روگلا اب ،تس ایمت تس جوجی ش نارگی اراد هکی بوخ تردقی وجتس ج ردی لحمی کرت ،تس ایب هدش .تس ا تیاهن رد هبرا روظنمزیبای اتنیج هئارا یاهراکهارهدش، نیا رازبا رد اهراکهارGroove- اهرازبا زای لدمزاسی دبتیل فارگ-پیهدازاسی هدشدنا. هژاویاه یدیلک :سراوی لدم، یسمتس دبتیل اضف راجفنا ،فارگی روگلا ،تلاحیمت روگلا ،ناگدنرپیمت وجتسجی شنارگی.
پژوهشگران	وحید رافع (نفر سوم)، رزا یوسفیان (نفر دوم)، مریم مرادی (نفر اول)