ابراهیم یارعلی - دانشجوی کارشناسی ارشد نرم افزار، موسسه آموزش عالی جهاد دانشگاهی خوزستان- ایران
محبوبه سلامات - کارشناس نرم افزار
علی هارون آبادی - گروه کامپیوتر، دانشگاه آزاد اسلامی واحد تهران مرکز- ایران

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

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