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