MCRL2 - MCRL2
mCRL2 - это язык спецификации для описания параллельных систем дискретных событий. Он сопровождается набором инструментов, который упрощает использование инструментов, методов и методов для моделирования, анализа и визуализации поведения. Поведенческая часть языка основана на алгебре процессов (Алгебра коммуникационных процессов ). Часть набора инструментов, относящаяся к данным, основана на абстрактных эквациональных типах данных, расширенных функциями высшего порядка.
Набор инструментов был основан Ян Фризо Гроот и в настоящее время разрабатывается группой формального системного анализа вЭйндховенский технологический университет, Нидерланды.
Рекомендации
- Groote, J.F., Mousavi, M.R. Моделирование и анализ коммуникационных систем. Пресса Массачусетского технологического института. 2014 г. ISBN 9780262027717.