مقاله رویکردی برای وارسی پویا و مبتنی بر منطق سیستمهای توزیعشده

توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد

  مقاله رویکردی برای وارسی پویا و مبتنی بر منطق سیستمهای توزیعشده دارای ۱۰ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است

فایل ورد مقاله رویکردی برای وارسی پویا و مبتنی بر منطق سیستمهای توزیعشده  کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

توجه : در صورت  مشاهده  بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی مقاله رویکردی برای وارسی پویا و مبتنی بر منطق سیستمهای توزیعشده،به هیچ وجه بهم ریختگی وجود ندارد

بخشی از متن مقاله رویکردی برای وارسی پویا و مبتنی بر منطق سیستمهای توزیعشده :

تعداد صفحات:۱۰

چکیده:

ما در این مقاله رویکردی مبتنی بر منطق حساب رخداد را برای وارسی پویای سیستمهای توزیعشده، شامل رفتار پردازهها و ارتباطات بین آنها، ارائه میدهیم وسپس با طرح مسئله وارسی پروتکل ارتباطات پیامی مطمئن چگونگی استفاده از رویکردمان را در حل آن نشان میدهیم. در این رویکرد رفتار مطلوب پردازهها و ارتباطات مطمئن را با منطق حساب رخداد توصیف میکنیم و سپس نشان میدهیم که چگونه از آنها برای وارسی پویای(زمان اجرای) سیستم بهره بگیریم. رویکرد ما شامل ۴ قدم است: ( ۱)استفاده از روش رسمی سبک و جدولیSCR برای توصیف رفتار مطلوب پردازههای فرستنده و گیرنده و سپس ارائه طریقی برای استخراج مجموعه قوانین منطقی حساب رخداد از آنها. از این مجموعه قوانین مرجع، برای وارسی اجرای پردازهها به صورت استدلال قیاسی در قدم سوم استفاده میکنیم، ۲) بیان ویژگیهای ارتباطات پیامی مطمئن بر حسب فرمولهای حساب رخداد، ( ۳) تفسیر این فرمولها با عنایت به قوانین مرجع(یعنی قوانین توصیف رفتار ) مطلوب) و استحصال گزارههای وارسی از روی آنها و ( ۴) پایش و وارسی رفتار حین اجرای برنامهها به وسیله گزارههای وارسی.