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

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

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