ارائه روشی رسمی برای ارزیابی کارایی مدل های معماری نرم افزاری

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