لیلا رشیدزاده - دانشجوی کارشناسی ارشد مهندسی کامپیوتر، دانشگاه آزاد اسلامی واحد ملایر، ایران
وحید رافع - استادیار گروه مهندسی کامپیوتر دانشگاه اراک، ایران
رضا رافع - استادیار گروه مهندسی کامپیوتر دانشگاه اراک، ایران

در سال های اخیر ارزیابی نیازهای غیر وظیفه مندی در فرایند توسعه نرم افزار مورد توجه قرار گرفته است. یکی از مهمترین این نیازها که توسعه نرم افزار را تحت تاثیر قرار می دهد، صفت کیفی کارایی می باشد. در این تحقیق از شبکه های پتری رنگی که از پشتوانه قوی ریاضی برخوردار هستند استفاده نموده و مدل قابل اجرایی مناسب برای ارزیابی رفتار و کارایی معماری ارائه می دهیم . برای رسیدن به این هدف، از نمودارهای زبان مدلسازی یکپارچه، برای توصیف معماری استفاده می کنیم . سپس پارامترهای کارایی با استفاده از کلیشه ها به نمودارها اضافه می شوند. در نهایت این توصیفات طی الگوریتم هایی به شبکه های پتری تبدیل شده تا ارزیابی و تحلیل شوند.

کارایی، مدل قابل اجرا، شبکه های پتری ، زبان مدلسازی یکپارچه