ارائه روشی جهت ارزیابی معماری PAC با بهره گیری از مولفه های نرم افزاریو مدلهای رسمی

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