MCRL2

mCRL2 to język specyfikacji do opisywania współbieżnych systemów zdarzeń dyskretnych. Towarzyszy mu zestaw narzędzi, który ułatwia narzędzia, techniki i metody symulacji, analizy i wizualizacji zachowań. Behawioralna część języka oparta jest na algebrze procesów ( Algebra of Communicating Processes ). Część danych zestawu narzędzi jest oparta na abstrakcyjnych typach danych równań rozszerzonych o funkcje wyższego rzędu.

Zestaw narzędzi został założony przez Jana Friso Groote'a i jest obecnie rozwijany przez grupę Formalnej Analizy Systemów na Uniwersytecie Technologicznym w Eindhoven w Holandii .

  •   Groote, JF, Mousavi, MR Modelowanie i analiza systemów komunikujących się . Prasa MIT. 2014. ISBN 9780262027717 .

Linki zewnętrzne

Pobrano z „ https://en.wikipedia.org/w/index.php?title=MCRL2&oldid=943541130 ”