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.x 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.
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
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 30th of August 2019 the Dezyne (Eclipse based) IDE version 2.9.2 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, mainly w.r.t. updating from previous versions
Solutions for various user experience issues, like
reporting model parsing errors which are actually no errors (tickets 7546, 7541, and 7530), or
not being able to generate thread-safe shell using the IDE (ticket 7387), or
not being able to see the reported error in the Console (ticket 7320)
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.
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 firstname.lastname@example.org.
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.2.
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