روش های صوری در توصیف سیستم های همروند
Publish Year: 1395
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,017
This Paper With 14 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CBCONF01_0493
تاریخ نمایه سازی: 16 شهریور 1395
Abstract:
یک سیستم همروند مجموعه ای است از فرآیندهایی که به طور همروند اجرا می شوند و در حین اجرا با یکدیگر در تعامل می-باشند. پیچیدگی این سیستم ها موجب شده توصیف آنها امری دشوار و مستعد خطا باشد. روشهای صوری، روشهایی هستند مبتنیبر ریاضیات، که میتوانند در تمام دوره های چرخه حیات یک سیستم نرمافزاری اعمال شوند و مبنای ریاضی آنها باعث افزایش دقت ورفع ابهام می شود. بنابراین استفاده از این روشها برای توصیف سیستم های همروند می تواند منجر به کاهش خطا و کاهش پیچیدگیاین سیستم ها شود. تا کنون ابزار و روشهای مختلفی برای استفاده از روشهای صوری در توصیف سیستم های همروند معرفی شدهاست که در این مقاله تعدادی از این روشها معرفی می شوند و در انتها یک دسته بندی کلی از این روشها به همراه جنبه هایمختلفی از سیستم های همروند که در هر روش به توصیف آن پرداخته شده است،ارائه می شود.
Keywords:
Authors
بتول لکزائی
عضو هیات علمی گروه کامپیوتر، دانشکده فنی و مهندسی، دانشگاه زابل
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :