Formalising the Dezyne Modelling Language in mCRL2

Dezyne is an industrial language with an associated set of tools, allowing users to model interface behaviours and implementations of reactive components and generate executable code from these. The tool and language succeed the successful ASD:Suite tool set, which, in addition to modelling reactive...

Full description

Saved in:
Bibliographic Details
Published inCritical Systems: Formal Methods and Automated Verification Vol. 10471; pp. 217 - 233
Main Authors van Beusekom, Rutger, Groote, Jan Friso, Hoogendijk, Paul, Howe, Robert, Wesselink, Wieger, Wieringa, Rob, Willemse, Tim A. C.
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2017
Springer International Publishing
SeriesLecture Notes in Computer Science
Subjects
Language mCRL2
mCRL2 Model
mCRL2 Process
mCRL2 Tool
Tool Set
Online AccessGet full text

Cover

More Information
Summary:Dezyne is an industrial language with an associated set of tools, allowing users to model interface behaviours and implementations of reactive components and generate executable code from these. The tool and language succeed the successful ASD:Suite tool set, which, in addition to modelling reactive components, offers a set of verification capabilities allowing users to check the conformance of implementations to their interfaces. In this paper, we describe the Dezyne language and a model transformation to the mCRL2 language, providing users access to advanced model checking capabilities and refinement checks of the mCRL2 tool set.
ISBN:9783319671123
331967112X
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-319-67113-0_14