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