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

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