The Verum team is pleased to announce that starting with the 16th of September 2015 Dezyne Release 1.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

New features and improvements

Version 1.1 is an extension of Release 1, the first commercially supported version of Dezyne, and comes with the following new features and improvements:

  • A component with behaviour can have multiple provides ports allowing for multi client components. Accessing more than one provided port within one “transaction” is not allowed; a verification error is issued upon violation.

  • Improved ASD to Dezyne converter. (tickets: 6898, 6953)

  • Improved assistance (code assistance / code completion) for model editing in eclipse. (tickets: 6853, 6856, 6859, 6868, 6920, 6925, 6926, 6936, 6946, 6964)

  • New target language C++-msvc11 to support compilation of C++11 code in Microsoft Visual Studio 2013. (ticket 6977)

  • The java target language (in the freemium version) is “upgraded” such that it is compatible with Java 8 and a new target language, java7, is introduced (only in the freemium version), to preserve compatibility with Java 7.

  • In the Sequence View, headers of lifelines are sticky and do not scroll away for larger diagrams.

Known issues:

There are a few known issues that we are addressing in a next release:

  • The Code Completion / Code Assistant feature has been improved significantly, but offers in a few cases still too many or invalid options.

  • There are two kinds of language checks: one is performed on the fly while typing, and the other is performed after saving. Since any found errors are displayed in the same way this can be confusing in some cases. (ticket 6922)

  • Scrolling in the system view and state chart is not always smooth on Mac and sometimes a scroll bar is missing. This manifests itself mainly when using the internal browser and is a known bug of the visual library that is used for all views (GoJS). (ticket 6893)

  • Printing on a Mac is not yet possible due to a known issue with the Paperclips library with SWT cocoa. (ticket 6943)

  • Using a “;” inside an extern type expression (the part between dollar signs) will result in a syntax error. Therefore avoid the “;” sign in these type expressions. (ticket 6954)

  • Conversion of full-featured submachines (specified in ASD models) leads to incomplete Dezyne models. (tickets: 6967, 6968)

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

Good Dezyning!

The Verum team.