نام پژوهشگر: محمد مهدی رحیمی نداف

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

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