We’re here to help you


Release Notes Dezyne Version 2-7-x

On the 3rd of May 2018 service 2.7.2 replaced service 2.7.1 as Default with the following fixes and improvements:

  • The verification performance has been improved by a factor 3-4, especially for large models. For an interface, the deadlock and livelock checks are performed in parallel. For a component, the deterministic, illegal, deadlock, and livelock checks are performed in parallel.

  • The verification results view reports per check the number of states and transitions that have been considered.

On the 9th of April 2018 service 2.7.1 replaced service 2.7.0 as Default with the following fixes and improvements:

  • Models with multiple provides ports can be verified.

  • Functions with parameters are verified correctly.

  • Code generation for C++-msvc11 has been fixed.

On the 16th of March 2018 service 2.7.0 replaced service 2.6.1 as Default with the following fixes and improvements:

  • The Dezyne verification engine has been replaced by mCRL2, see http://mcrl2.org.

  • Interface completeness verification is performed as part of the deadlock check.

  • Verification counter examples may differ from previous versions.

  • Performance of the code generator has been improved significantly.

Due to changes in the Dezyne runtime you have to replace the old Dezyne runtime in your projects with the new one.

Additionally, a new version of the Dezyne command line client, a.k.a. dzn, is released with the same functionality as dzn 2.6.0.

Important:The c, c#, java, java7, python and scheme code generators are not available in this release; for these languages please use 2.4.1 or earlier

To switch between dzn service version 2.7.0/Default and 2.4.1 or earlier, choose in the Dezyne Eclipse plugin/GUI the Window-Preferences menu item, click on Dezyne, select the desired 'dzn service version', and click 'Apply' or 'Apply and Close' (if you use a pre 2.6.0 version of the Dezyne Eclipse based GUI/plugin you have to click first on Log Out and then Log In).

On the 30th of March 2018 Dezyne Eclipse plugin/GUI 2.7.0 is released with the following fixes/improvements:

  • Feature: Allow to set queue size for verify and Fix: Resolve "Queue size can’t be selected on verify when there is a single model" - solution for problem reported in ticket 7351

  • Fix: Eclipse: Namespaces and syntax highlighting - fixes some wrongly reported errors when namespaces used in models - solution for problem reported in Ticket 7298

  • Fix: Fix not existing file leads to java nullpointerexception

  • Fix: Indentation of converted models - solution for problem reported in Ticket 7321

  • Fix: Resolve "Console is not a default tab"

  • Fix: Resolve "Error feedback inconsistency" - solution for problem reported in Ticket 7364

  • Fix: Resolve "Format white space around keywords" - solution for problem reported in Ticket 7437

  • Fix: Resolve "Static type checking issue" - solution for problem reported in Ticket 7363

  • Fix: Fix error messages on authentication problem - solution for problem reported in Ticket 7366 and in Ticket 7288

  • Fix: Resolve "Change perspective icons to Dezyne specific icons" - solution for problem reported in Ticket 7395

  • Feature: Resolve "Link generation directory to project settings" - solution for problem reported in Ticket 7403

  • Fix: The message to suggest install a third party tool has been corrected - solution for problem reported in Ticket 7394

  • Fix: Resolve "Indexation failure in the cheatsheet files."

  • Feature: Allow message copy to extend path for using dzn commandline tool outside eclipse - solution for problem reported in Ticket 7376

  • Fix: "Dzn version check pops-up before authentication" - new versions of dzn will be searched and identified only after authentication - solution for problem reported in Ticket 7389

  • Fix: Ensure compatible node is installed

  • Fix: Resolve "apply in preferences window does not have effect?"

  • Feature: Resolve "Update to xtext 2.13"

  • Feature: Resolve "Remove dependency to vcruntime140.dll in Chromium browser" - solution for problem reported in Ticket 7378

  • Fix: Resolve "Inform webviews are not refreshed after save when error prevents view generation"

  • Feature: Resolve "Unclear error message when trying to generate code out of a .dzn model with errors" - solution for problem reported in Ticket 7371

  • Fix: Resolve "GUI - Wrong ASD model selected for import" - solution for problem reported in Ticket 7369

  • Fix: Resolve "Link in Console does not work" - solution for problem reported in Ticket 7451

  • Feature: Resolve "extend code completion for system models" - some improvements but not a complete solution yet

Next to the improvements mentioned above

  • The text of the DZN files in the regression test matrix can now be downloaded. To see the results of our regression tests and the models used in the respective tests feel free to visit the Results of Dezyne regression tests.

  • On GitHub there is a repository where Dezyne users may, and are invited to, share ideas and examples related to Dezyne. Feel free to visit the Dezyne Community repository and let us know how you use Dezyne.

This version is free for non-commercial use.

If you are interested in a license for commercial evaluation or commercial usage, please contact sales@verum.com.

Known issues

  • When using dzn service version higher than 2.7.0 there are cases when no state charts and table views are generated. In the Console you will typically see an error message with a line 'No applicable method for # generic type…​'

  • The following (language) features are not yet available for verification: blocking, external and async.

  • In some corner cases, nested function calls will cause a failing verification.

  • For verification, even though service version 2.7.0 or 2.7.1 is selected/specified, service version 2.7.2 is used instead.

  • The verification feature has been discontinued for all older releases.

  • Not all old(er) versions of the Dezyne Eclipse GUI/plugin notify you that a new version is available. Please empty the 'dezyne_folder/p2/org.eclipse.equinox.p2.repository/cache' folder and restart Dezyne, or simply download the new version and use it with your (old) workspace.

  • Views (i.e. system views, state charts, state and event tables) are not cleared if they can not be updated due to an error in the model or due to missing data

For a complete list of known issues click on the following link: Known issues in Dezyne

Your free copy of Dezyne is waiting for you, and we encourage you to put Dezyne 2.7.x to good use and provide us with all your feedback.

Good Dezyning!

The Verum team.

If you have questions that weren’t answered by this Guide,
let our support team help you out.

Enjoy this article? Don't forget to share.