The Formal Specification Language mCRL2
The Formal Specification Language mCRL2
复制标题
DOI：
--
复制
发表时间：
2006
影响因子：
3.1
通讯作者：
J. F. Groote;A. Mathijssen;M. Reniers;Y. Usenko;M. V. Weerdenburg
中科院分区：
文献类型：
--
作者：
J. F. Groote;A. Mathijssen;M. Reniers;Y. Usenko;M. V. Weerdenburg
我们介绍mCRL 2，规范语言，可用于指定和分析分布式系统的行为。这种语言是mCRL规范语言的继承者。mCRL 2语言扩展了一个定时基本进程代数，可以定义和使用抽象数据类型。mCRL 2数据语言具有预定义的和更高阶的数据类型。mCRL 2的进程代数部分允许对有色Petri网和基于组件的系统进行忠实的翻译：我们引入了多动作，并将通信和并行性分开。
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 mCRL 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.