ارائه روشی جهت ارزیابی کارایی در سیستم های اطلاعاتی با بهره گیری از مدل های رسمی
Publish Year: 1397
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 486
This Paper With 10 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
TECCONF04_266
تاریخ نمایه سازی: 30 شهریور 1398
Abstract:
امروزه گسترش کاربرد سیستمهای اطلاعاتی و روند رو به رشد استفاده از این سیستمها موجب افزایش پیچیدگی در این سیستمها شده است. به منظور غلبه یا کاهش این پیچیدگیها میتوان از روشهای ارزیابی سیستمهای نرم افزاری استفاده کرد. از جمله این روشها بهره گیری از مدل های رسمی میباشد. در واقع با ایجاد یک مدل قابل اجرا مبتنی بر توصیفات رسمی از معماری می توان آن را ارزیابی کرد . در این تحقیق با بهره گیری از مدلهای رسمی مدلی جهت ارزیابی طول صف در سیستم های اطلاعاتی ارائه میگردد. روش پیشنهادی این تحقیق با استفاده از یک مدل واقعی به توصیف معماری نرم افزار پرداخته است، سپس ویژگی هایی از معماری نرم افزار را با استفاده ازنمودارهای زبان مدل سازی بیان میکند و اطلاعات لازم دررابطه با نیازهای غیروظیفه مندی درقالب نمایه های عملیاتی به صورت کلیشه ها و برچسب هایی به نمودارهای UML حاشیه نویسی میکند، تا به یک مدل رسمی مبتنی بر شبکه پتری رنگی به منظور ارزیابی طول صف در سیستم های اطلاعاتی دست یابد. در ارزیابی مدل پیشنهادی ابزار CPNTools با مطالعه موردی سیستم خودپرداز بانک مورد استفاده قرار گرفته است. نتایج نشان میدهد روش پیشنهادی اقدام به ارزیابی نیازهای غیروظیفه مندی در فاز تشریح متدهای سنگین وزن مینماید.
Keywords:
Authors
بهزاد مختارنامه
گروه مهندسی کامپیوتر، دانشگاه آزاد اسلامی، واحد بین الملل کیش
علی هارون آبادی
گروه مهندسی کامپیوتر، دانشگاه آزاد اسلامی، واحد تهران مرکز