ارائه الگوریتمی جدید جهت تبدیل خودکار مدلهای معماری به مدلهای قابل شبیه سازی با استفاده از پردازه های حالت محدود

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

کلیدواژه ها:

مهندسی کارائی ، سیستم های توزیع شده ، پردازه های حالت محدود ، شبیه سازی ، ارزیابی کارائی