برآورد کمی خصیصه‌های کارایی، قابلیت اطمینان و امنیت در سبک‌های داده مشترک، شیءگرا و لوله و صافی
محورهای موضوعی : مهندسی برق و کامپیوترهدی بانکی 1 , سیدمرتضی بابامیر 2
1 - دانشگاه کاشان
2 - دانشگاه کاشان
کلید واژه: ارزیابی کمی, امنیت سبک‌های معماری نرم‌افزار شبکه‌های پتری رنگی قابلیت اطمینان, کارایی,
چکیده مقاله :
یک نرم‌افزار مطلوب باید قادر باشد خصیصه‌های کیفی مورد نیاز سیستم را علاوه بر نیازهای وظیفه‌مندی محقق کند. سبک‌های معماری نرم‌افزار علاوه بر توصیف نرم‌افزار و تجزیه آن به مؤلفه‌ها، تأثیر عمده‌ای بر روی خصیصه‌های کیفی نرم‌افزار طراحی‌شده دارند. تحلیل و ارزیابی کمی میزان این تأثیرگذاری سبب می‌شود مناسب‌ترین سبک برای طراحی معماری انتخاب گردد. در این مقاله برای ارزیابی کمی سه خصیصه کاندید موسوم به خصیصه‌های کیفی کارایی، قابلیت اطمینان و امنیت در سه سبک کاندید موسوم به سبک‌های معماری داده مشترک، شیءگرا و لوله و صافی، روشی مبتنی بر شبکه پتری رنگی را ارائه می‌دهیم که محدودیت روش‌های گذشته برای ارزیابی این خصیصه‌ها در سبک‌ها را ندارد. در این روش ابتدا سبک‌های کاندید را با استفاده از شبکه پتری رنگی مدل می‌کنیم. سپس با توجه به قواعدی که برای ارزیابی بیان می‌کنیم با ابزار CPNTools شبکه‌ها را تحلیل و مقدار خصیصه‌های کاندید را محاسبه می‌کنیم. در پایان با استفاده از رتبه‌بندی سبک‌ها از نظر میزان تحقق خصیصه‌های کیفی کاندید، بهترین سبک کاندید را برای پیاده‌سازی مشخص می‌کنیم. برای ارائه یک نمونه عملی در استفاده از روش پیشنهادی، سیستم خودپرداز را به عنوان یک مورد مطالعه انتخاب کردیم.
A desirable software application should be able to provide the quality attributes required by the system, as well as the functional requirements. Software architecture styles have a significant effect on the quality attributes of the designed software as well as its specification and decomposition.) The quantity evaluation and analysis of this effectiveness rate result in the selection of the most appropriate style for designing the architecture. In this paper, a method based on the Colored Petri Net is proposed to quantitatively evaluate three candidate attributes of the software architectural styles called the quality attributes, performance, reliability, and security in three candidate styles named shared-data, object-oriented, and pipe-and-filter software architectural styles. This method has not limitations of the previous-ones in evaluating the quality attributes. In this method, the candidate styles are firstly modeled by using the Colored Petri Net; then, considering the evaluation rules, CPN tools are used to analyze the networks and calculate the exact value of the candidate attributes. At the end, the best candidate style is chosen for implementation through ranking the styles in terms of the satisfaction level of the candidate quality attributes. To present a practical representation using the proposed methodology, the ATM system has been chosen as a case study.