ارائه روشی جهت ارزیابی کارایی در سیستم های اطلاعاتی با بهره گیری از مدل های رسمی

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

Keywords:

سیستم های اطلاعاتی , ارزیابی معماری , مدل های رسمی , شبکه پتری رنگی.