ارائه روشی جهت ارزیابی کارایی در سیستم های اطلاعاتی با بهره گیری از مدل های رسمی
Publish Year: 1397
Type: Conference paper
Language: Persian
View: 541
This Paper With 10 Page And PDF Format Ready To Download
- Certificate
- I'm the author of the paper
Export:
Document National Code:
TECCONF04_266
Index date: 21 September 2019
ارائه روشی جهت ارزیابی کارایی در سیستم های اطلاعاتی با بهره گیری از مدل های رسمی abstract
امروزه گسترش کاربرد سیستمهای اطلاعاتی و روند رو به رشد استفاده از این سیستمها موجب افزایش پیچیدگی در این سیستمها شده است. به منظور غلبه یا کاهش این پیچیدگیها میتوان از روشهای ارزیابی سیستمهای نرم افزاری استفاده کرد. از جمله این روشها بهره گیری از مدل های رسمی میباشد. در واقع با ایجاد یک مدل قابل اجرا مبتنی بر توصیفات رسمی از معماری می توان آن را ارزیابی کرد . در این تحقیق با بهره گیری از مدلهای رسمی مدلی جهت ارزیابی طول صف در سیستم های اطلاعاتی ارائه میگردد. روش پیشنهادی این تحقیق با استفاده از یک مدل واقعی به توصیف معماری نرم افزار پرداخته است، سپس ویژگی هایی از معماری نرم افزار را با استفاده ازنمودارهای زبان مدل سازی بیان میکند و اطلاعات لازم دررابطه با نیازهای غیروظیفه مندی درقالب نمایه های عملیاتی به صورت کلیشه ها و برچسب هایی به نمودارهای UML حاشیه نویسی میکند، تا به یک مدل رسمی مبتنی بر شبکه پتری رنگی به منظور ارزیابی طول صف در سیستم های اطلاعاتی دست یابد. در ارزیابی مدل پیشنهادی ابزار CPNTools با مطالعه موردی سیستم خودپرداز بانک مورد استفاده قرار گرفته است. نتایج نشان میدهد روش پیشنهادی اقدام به ارزیابی نیازهای غیروظیفه مندی در فاز تشریح متدهای سنگین وزن مینماید.
ارائه روشی جهت ارزیابی کارایی در سیستم های اطلاعاتی با بهره گیری از مدل های رسمی Keywords:
ارائه روشی جهت ارزیابی کارایی در سیستم های اطلاعاتی با بهره گیری از مدل های رسمی authors
بهزاد مختارنامه
گروه مهندسی کامپیوتر، دانشگاه آزاد اسلامی، واحد بین الملل کیش
علی هارون آبادی
گروه مهندسی کامپیوتر، دانشگاه آزاد اسلامی، واحد تهران مرکز