Formalising the Dezyne modelling language in mCRL2

R. van Beusekom, J.F. Groote, P. Hoogendijk, R. Howe, W. Wesselink, R. Wieringa, T.A.C. Willemse

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationCritical Systems: Formal Methods and Automated Verification
Subtitle of host publication Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
EditorsL. Petrucci, C. Seceleanu, A. Cavalcanti
Place of PublicationDordrecht
PublisherSpringer
Pages217-233
Number of pages17
ISBN (Electronic)978-3-319-67113-0
ISBN (Print)978-3-319-67112-3
DOIs
Publication statusPublished - 2017
Event22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017 - Turin, Italy
Duration: 18 Sep 201720 Sep 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10471 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017
CountryItaly
CityTurin
Period18/09/1720/09/17

Fingerprint Dive into the research topics of 'Formalising the Dezyne modelling language in mCRL2'. Together they form a unique fingerprint.

  • Prizes

    Best Paper award

    Groote, Jan Friso (Recipient), Wesselink, Wieger (Recipient) & Willemse, Tim A.C. (Recipient), 20 Sep 2017

    Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific

  • Cite this

    van Beusekom, R., Groote, J. F., Hoogendijk, P., Howe, R., Wesselink, W., Wieringa, R., & Willemse, T. A. C. (2017). Formalising the Dezyne modelling language in mCRL2. In L. Petrucci, C. Seceleanu, & A. Cavalcanti (Eds.), Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings (pp. 217-233). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10471 LNCS). Springer. https://doi.org/10.1007/978-3-319-67113-0_14