|
عنوان
|
بکارگیری داده کاوی در تشخیص بن بست در سیستم های تبدیل گراف
|
|
نوع پژوهش
|
مقاله ارائه شده
|
|
کلیدواژه‌ها
|
داده کاوی، سبک معماری، سیستم تبدیل گراف، وارسی مدل، انفجار فضای حالت
|
|
چکیده
|
وارسی مدل یک روش رسمی برای اثبات درستی یک سیستم می باشد. با توجه به اینکه، این روش در سیستم هایی با مقیاس بزرگ منجر به مشکل انفجار فضای حالت می شود، بنابراین باید دنبال روش هایی بگردیم که فضای حالت سیستم را بطور هوشمندانه و غیرکامل پیمایش می کنند. یکی از این روش ها، استفاده از روش های فرامکاشفه ای می باشد. در این مقاله، یک روش فرامکاشفه ای بر مبنای داده کاوی ارائه می کنیم. در روش ارائه شده، ابتدا مدل با اندازه کوچکی از سیستم در صورت موجود، وارسی می شود به اینصورت که، فضای حالت آن با استفاده از استراتژی "جستجوی اول سطح" بطور کامل پیمایش شده و حالتهای بن بست در آن تشخیص داده می شوند، سپس با استفاده از تکنیکهای داده کاوی، الگوهای تکراری در مسیرهایی از فضای حالت تولید شده بدست می آیند که این مسیرها از حالت ابتدایی با پیکربندی اولیه سیستم شروع شده و به حالت های بن بست ختم می شوند. برای تشخیص بن بست در سیستم با اندازه واقعی، از الگوهای تکراری بدست آمده استفاده کرده و فضای حالت سیستم را بطور هوشمندانه پیمایش می کنیم. این روش برای سیستم هایی که برپایه یک سبکِ معماری هستند جواب می دهد. سبک معماری یک نوع اَبَرمدل جهت تعیین مجموعه ای از اجزاء و ارتباطات میان آنها برای مشخص نمودن سیستمی بر مبنای آن سبک می باشد. روش ارائه شده را در فرمالیسم "سیستم تبدیل گراف" و ابزار GROOVE پیاده سازی می کنیم. مقایسه نتایج پیاده سازی این روش با نتایج روش های قبلی، نشان می دهند که زمان اجرای روش ارائه شده در این مقاله، نسبت به روش های قبلی، بطور چشمگیری بهبود یافته است.
|
|
پژوهشگران
|
عین اله پیرا (نفر اول)، وحید رافع (نفر دوم)، امین نیک انجام (نفر سوم)
|