The Formal Specification Language mCRL2

Methods for Modelling Software Systems

计算机科学;物理学

Jan Friso Groote ; Aad Mathijssen ; Michel Reniers ; Yaroslav Usenko ; Muck van Weerdenburg

Others  :  http://drops.dagstuhl.de/opus/volltexte/2007/862/pdf/06351.GrooteJanFriso.Paper.862.pdf
PID  :  10289

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the µCRL specification language. The mCRL2 language extends a timed basic process algebra with the possibility to define and use abstract data types. The mCRL2 data language features predefined and higher-order data types. The process algebraic part of mCRL2 allows a faithful translation of coloured Petri nets and component based systems: we have introduced multiactions and we have separated communication and parallelism.