ارزیابی کمی خصیصه های کارایی، قابلیت اطمینان و امنیت در سبک داده مشترک، شی گرا و لوله وصافی

چکیده مقاله

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