ایجاد مدل کارایی سبک معماری سرویس گرای مدل شده توسط سیستم تبدیل گراف

امروزه سیستم های نرم افزاری نسبت به گذشته بسیار گسترده تر و پیچیده تر هستند و از طرف دیگرمقوله آنالیز کارایی روز به روز اهمیت بیشتری می یابد. اگر آنالیز کارایی بعد از پیاده سازی انجامشود و کارایی سیستم قابل قبول نباشد، منجر به طراحی مجدد و تولید مجدد کد می گردد که کاریزمان بر بوده و مقرون به صرفه نیست. بنابراین بهتر است که آنالیز کارایی در سطح معماری و قبل ازاینکه کد تولید شود صورت گیرد. تا کنون روشهای مختلفی برای مدلسازی و ارزیابی کارایی درسطح معماری نرمافزار ارایه شده است که هر کدام از آنها بخشی از ویژگی ها را اندازه گیری می-کنند. در میان روشهای مختلف مدلسازی و ارزیابی کارایی، روشهای مبتنی بر جبر پردازشی بهدلیل داشتن بالاترین سطح انتزاع نسبت به روش های دیگر و رسمی بودن، بهترین انتخاب می باشد.در این مقاله، کارایی سبک معماری سرویسگرا با استفاده از ابزار PEPA که مبتنی بر جبرپردازشی میباشد مدلسازی شده است که عناصر مورد نیاز برای ایجاد مدل کارایی از سبک معماریسرویسگرایی که قبلا توسط سیستم تبدیل گراف مدل شده است استخراج شده اند. روشپیشنهادی، بر روی مورد مطالعه آژانس مسافرتی الکترونیکی اعمال شده است.

کلیدواژه ها:

سبک معماری سرویس گرا ، مدل سازی کارایی ، سیستم تبدیل گراف ، ابزار PEPA