بتول لکزائی - عضو هیات علمی گروه کامپیوتر، دانشکده فنی و مهندسی، دانشگاه زابل

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

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