ارائه یک مدلسازی صوری ازمساله بن بست درسیستم های هم روند
Publish place: 2nd Lahijan National Conference on Software Engeering
Publish Year: 1391
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,442
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
LNCSE02_019
تاریخ نمایه سازی: 6 اسفند 1391
Abstract:
از انجایی که سیستم های همروند ترکیبی از چندین واحد اجرایی هستند بروز مسائل مهمی همچون بن بست و بن باز دور ازانتظار نخواهدبود یکی از روشهای ممکن برای همگام سازی عملیات پردازه ها درمحیطهای همروند استفاده ازپروتکل های قفل گذاری است ازطرف دیگرا ستفاده بیش ازیک قفل درسیستم منجر به بروز مشکلاتی از قبیل عدم پیشرفت سیستم خواهد شد بطوریکه بروز مساله بن بست یکی از علل عدم پیشرفت برای سیستم شناخته شدها ست عامل همروندی درسیستم های همروند اهمیت و حساسیت بالای یرا ایجاد خواهد کرد بنابراین اطمینان یافتن ازصحت عملکرد این سیستم ها توسط روشهای استاندارد صوری امری ضروری شمرده خواهد شد تا از اهمان ابتدا هرگونه ابهام و نقض درساخت و تولید چنین سیستم هایی برطرف شوند هدف نهایی این مقاله یک مدلسازی صوری ازیکی ازجنبه های اصلی سیستم های همروند یعنی مساله بن بست است که این توصیف تنها با استفاده از یک نمادگذاری یعنی زبان توصیف صوری Z ارایه میشود.
Keywords:
Authors
سیده سارا شریفی راد
کارشناس ارشد مهندسی نرم افزار
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :