روشی برای ارزیابی کارایی معماری نرم افزار با شبکه های پتری رنگی

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

کلیدواژه ها:

ارزیابی قابلیت اطمینان ، زبان مدلسازی یکپارچه ، شبکه های پتری رنگی CPN Modele ، CPN TOOLS