Перейти к навигации Перейти к поиску
mCRL2 - это язык спецификации для описания одновременных систем дискретных событий. Он сопровождается набором инструментов, который упрощает использование инструментов, методов и методов для моделирования, анализа и визуализации поведения. Поведенческая часть языка основана на алгебре процессов ( алгебре коммуникационных процессов ). Часть набора инструментов, относящаяся к данным, основана на абстрактных эквациональных типах данных, расширенных функциями высшего порядка.
Набор инструментов был основан Яном Фризо Гроотом и в настоящее время разрабатывается группой формального системного анализа Технологического университета Эйндховена , Нидерланды .
Ссылки [ править ]
- Groote, JF, Mousavi, MR Моделирование и анализ коммуникационных систем . Пресса Массачусетского технологического института. 2014. ISBN 9780262027717 .