مشخصات پژوهش

عنوان	مقایسه کارایی الگوریتم های مختلف استخراج الگوهای تکراری روی وارسی مدل سیستم های مشخص شده با سبک معماری
نوع پژوهش	مقاله ارائه شده
کلیدواژه‌ها	وارسی مدل، سبک معماری، تبدیل گراف، الگوی تکراری
چکیده	وارسی مدل یک روش رسمی برای تحلیل خودکار معماری های نرم افزار مبتنی بر یک سبک معماری است که در آن، سبک معماری باید توسط یک زبان رسمی توصیف شود. زبان تبدیل گراف یکی از زبان های رسمی است که قابلیت توصیف سبک های معماری را دارد. در وارسی مدل، باید همه حالت های ممکنِ مدل پیمایش شوند و این باعث می شود که در مدل های بزرگ، با مشکل کمبود حافظه (انفجار فضای حالت) مواجه شود. برای غلبه بر این مشکل، قبلا راه حلی ارائه کرده بودیم که به پیمایش کامل فضای حالت نیاز نداشت. در واقع، چون مدل ها با اندازه های مختلف از یک سبک معماری (توصیف شده با زبان تبدیل گراف) دارای زیرساخت ها و قوانین قابل اجرای مشابهی هستند، این راه حل ابتدا مدل کوچکی از سیستم داده شده را با تولید کامل فضای حالت وارسی کرده، سپس الگوهای تکراری را از این فضای تولید شده استخراج می کرد و در نهایت، این الگوها را برای وارسی هوشمندانهِ مدل واقعی بکار می برد. در این مقاله، الگوریتم های مختلف یافتن چنین الگوهای تکراری از جمله Apriori،FP-Growth و Eclat را در نظر گرفته و کارایی آنها را از طریق پیاده سازی در ابزار GROOVE – از ابزارهای وارسی مدل مبتنی بر زبان تبدیل گراف- با هم مقایسه خواهیم کرد.
پژوهشگران	عین اله پیرا (نفر اول)