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