روش های صوری در توصیف سیستم های همروند

یک سیستم همروند مجموعه ای است از فرآیندهایی که به طور همروند اجرا می شوند و در حین اجرا با یکدیگر در تعامل می-باشند. پیچیدگی این سیستم ها موجب شده توصیف آنها امری دشوار و مستعد خطا باشد. روشهای صوری، روشهایی هستند مبتنیبر ریاضیات، که میتوانند در تمام دوره های چرخه حیات یک سیستم نرمافزاری اعمال شوند و مبنای ریاضی آنها باعث افزایش دقت ورفع ابهام می شود. بنابراین استفاده از این روشها برای توصیف سیستم های همروند می تواند منجر به کاهش خطا و کاهش پیچیدگیاین سیستم ها شود. تا کنون ابزار و روشهای مختلفی برای استفاده از روشهای صوری در توصیف سیستم های همروند معرفی شدهاست که در این مقاله تعدادی از این روشها معرفی می شوند و در انتها یک دسته بندی کلی از این روشها به همراه جنبه هایمختلفی از سیستم های همروند که در هر روش به توصیف آن پرداخته شده است،ارائه می شود.

کلیدواژه ها:

روش های صوری ، سیستم های همروند ، توصیف صوری