The Verum team is pleased to announce that starting with the 13th of September 2016 Dezyne Release 2.1 is available for download.
This version is free for non-commercial use.
If you are interested in a license for commercial evaluation or commercial usage, please contact email@example.com.
New features and improvements
Version 2.1.0 is an extension of Release 2.0.0, and comes with the following new features and improvements:
Proper installation and usage of Dezyne behind a company firewall/proxy
Improved navigation and display in the system view
There is no need to be complete in all states in a component. All non specified cases are considered 'illegals'.
Dezyne files do not need to be in the same folder but they have to be in subfolders of the source folder of a Dezyne Modelling Project or in referenced projects
Support for two new target languages: C++03 and C# (without support for multithreading)
Different background color for block of events in the trace view for set of events triggered by an eligible event selected by a user during simulation
Link between the Verify Results window and the Editor to enable jump to failure in the Editor
Multiple highlighting/marking for verification errors which are caused by data in the model file spread on multiple rows, like overlapping guards
The Dezyne documentation is improved with:
new pages about
the semantic execution model
restrictions on multiple provides for interfaces
improvements throughout the text based on customer feedback
7135 Code generator bug (thread-safe shell)
7134 'Timeout waiting for task' during long-lasting dezyne activities
7132 Eclipse system view constantly snaps to the first model in its list
7108 Compact/smarter completeness check on component behaviour
7090 verificatie fout? (related to not needing to specify complete behaviours in components)
7044 Minor enhancement request: empty line in trace on simulating each new event (solved with a different background color)
7016 I want that the error text in the Sequence View is fitted to the available window size
7008 Support importing Dezyne models located in different folders
6973 The model below verifies, but the simulator does not show any triggers/buttons. (related to not needing to specify complete behaviours in components)
6970 behaviour in default cases are still mandatory to specify … (related to not needing to specify complete behaviours in components)
Due to access rights to files the Dezyne 2.0.0 Eclipse based stand-alone client with Java RTE can not be updated to 2.1.0. In order to be able to use Dezyne Release 2.1.0 with Java RTE please download it and pack it out. You can still open your "old" workspaces in the new client.
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