We’re here to help you

Menu

Release Notes Dezyne Version 2-9-x

Important change in Dezyne installation and deployment

Starting with 2.9.0 Verum changed the deployment configuration to conform to the principle one client - one service version. The change consists in having the Dezyne command line client, a.k.a. dzn, and the dzn-daemon functioning as a package which serves the latest Dezyne service, a.k.a dzn service version, within one minor release (i.e. dzn-2.9.0 will install and work together with its own dzn-daemon and will serve the latest dzn service in the 2.9.x set).

New Dezyne command line client and new dzn service version

On the 13th of May 2019, Dezyne command line client, a.k.a. dzn, version 2.9.1 has been released and service version 2.9.1 replaced service version 2.9.0 and became the Default version. This is a summary of the fixes and improvements:

  • Solution for "Wrong shell declaration in pump.hh of the 2.9.0 C++ runtime" as a solution for problem reported in Ticket 7527: C++: parameterized events can be used with dzn::shell.

  • Solution for "Blocking methods do not block in C++ runtime" as a solution for problem reported in Ticket 7529: C++: a reply with a port prefix can be used anywhere, not just in a blocking context.

  • (partial) Solution for unclear "Runtime behaviour of dzn.async between synchrone callbacks" as a solution for problem reported in Ticket 7547: Compliance now succeeds when using async in the middle of two provides out events on a single modeling event in the interface.

  • Improved verification error reporting: Internal errors and out of memory error are now reported as such.

  • Reduced memory usage on the server during verifications: It is possible to verify models with a larger state space.

Even though there is a dzn version 2.9.1 released there is no functional difference between dzn-2.9.1 and dzn-2.9.0. For traceability reasons we recommend that you always use the latest version of the Dezyne command line client and of the dzn service.

On the 7th of January 2019, Dezyne command line client, a.k.a. dzn, version 2.9.0 and service version 2.9.0 have been released with the following fixes and improvements:

  • Solution for "dzn 2.8 C++ code generator doesn’t generate enums for components" as a solution for problem reported in Ticket 7512

  • Solution for 'silently' failing C++ code generation as a solution for problems reported in Tickets 7483, 7416, and 7386

  • Solution for "Defect in code generation when dzn.async is declared but unused in model" as a solution for problem reported in Ticket 7426

  • Solution for incorrectly generated code when code generation is combined with thread shell generation as a solution for problems reported in Tickets 7425 and 7412

  • The C# code generation is back with various problem fixes and an improved, i.e. a 'file2file', approach, meaning that for each Dezyne file there will be one ".cs" file generated.

Important: The c, java, java7, python and scheme code generators are not available in this release; for these languages please use 'dzn service version' 2.4.1.

When using Dezyne (Eclipse based) IDE version 2.9.x please follow the next steps to switch to dzn service version 2.4.1:

  • choose the Window-Preferences menu item, click on Dezyne, type https://hosting.verum.com as 'Server URI', and press 'Apply and Close'

  • press OK (on the authentication failure report) and close Dezyne

  • end all Node.js tasks and remove the 'node-v6.10.1-win-x64' folder

  • restart Dezyne

  • install Node.js and dzn-2.8.0

  • choose the Window-Preferences menu item, click on Dezyne, select 'dzn service version' 2.4.1, and click 'Apply and Close'

New Dezyne (Eclipse based) IDE

On the 4th of June 2019 the Dezyne (Eclipse based) IDE version 2.9.1 has been released with the following fixes/improvements:

  • Improvements for configuring / setting the target folder for Dezyne dependencies like the Dezyne commandline client and the dzn daemon

  • Solutions for various user experience issues, like

    • simulation and verification buttons not working after a 'Save As' (ticket 7550), or

    • the Delete button not working after a failed verification (ticket 7405), or

    • not having views when starting up Dezyne with a model file opened in the editor, or

    • the incorrect workings of the checkbox associated with queue size specification for verifications

On the 28th of December 2018 the Dezyne (Eclipse based) IDE version 2.9.0 has been released with the following fixes/improvements:

  • Solution for various code completion related issues, as a solution for problems reported in Tickets 7367 and 7325

  • Solution for a configurable / set-able target folder for Dezyne dependencies like the Dezyne commandline client and the dzn daemon as a solution for problems reported in Tickets 7482 and 7347

Make sure that there are no spaces in the name of the selected folder or in the path leading to the folder

  • Solutions for improving the model creation user experience

  • Improved display of the Dezyne Help, by incorporating an one-source for all solution for Dezyne help/support related information as a solution, amongst others, for problem reported in Ticket 7418

If you do not have it installed yet please click on this link to download Dezyne now and perform the following installation steps.

Additional info

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

  • Folders with spaces in their name or in the path leading to them are not supported as target folders for Dezyne dependencies, like Node.js and dzn

  • In case of no views after upgrade from 2.8.x to 2.9.x please close all Views and perform a Reset Perspective. This should bring back all views.

  • Shortly after release of 2.9.0 it was brought to our attention that the LegoBallSorter example project can not be downloaded using Dezyne IDE version 2.9.0. Please upgrade to Dezyne IDE version 2.9.1.

  • Those who install Dezyne on Ubuntu versions greater or equal than 18.04 and do not have the 'libgconf-2-4' library installed will receive the 'could not create any browser' message. Please ensure that you have installed the 'libgconf-2-4' library.

  • 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 to good use and provide us with all your feedback.

Good Dezyning!

The Verum team.

Dezyne 2.9.1 installation steps

These are the installation steps of the Dezyne (Eclipse based) IDE together with the required dependencies (i.e. Node.js, dzn and the dzn-daemon):

  • for 'fresh' users:

    • download and unpack Dezyne

    • create a 'workspace' folder in the directory where you have unpacked Dezyne

    • start Dezyne and select the newly created directory as workspace

    • press 'Cancel' (when indicated that Node.js and dzn needs to be installed)

    • enter your Dezyne credentials and type "https://dezyne.verum.com/service/2.9" as 'Server URI' instead of "https://hosting.verum.com" in the Preferences dialog window (select the Window-Preferences menu item and click on Dezyne)

    • press 'Apply and Close' and wait until authentication fails

    • press OK and close Dezyne

    • re-start Dezyne

    • install Node.js and dzn-2.9.1 in a folder of your choice

Make sure that there are no spaces in the name of the selected folder or in the path leading to the folder

  • for users switching from Dezyne 2.8.0 to Dezyne 2.9.1:

    • end all Node.js tasks (Windows users should achieve this using the Task Manager)

    • remove the 'node-v6.10.1-win-x64' folder and the ".dzn.json" file from your Windows user directory (i.e. C:\Users\windowsuser if windowsuser is your Windows user name)

    • start Dezyne in the home directory of Dezyne 2.8.0 (or in a copy of it)

    • press 'Cancel' (when indicated that Node.js and dzn needs to be installed)

    • update your Dezyne to Dezyne 2.9.1.r (tip: use the automatic notification feature)

    • press 'No' (when asked to Restart)

    • type "https://dezyne.verum.com/service/2.9" as 'Server URI' instead of "https://hosting.verum.com" in the Preferences dialog window (select the Window-Preferences menu item and click on Dezyne)

    • press 'Apply and Close' and wait until authentication fails

    • press OK and close Dezyne

    • re-start Dezyne

    • install Node.js and dzn-2.9.1 in a folder of your choice

Make sure that there are no spaces in the name of the selected folder or in the path leading to the folder

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.