3 Getting Started

The dezyne core functionality delivers tool support for the dezyne language in parsing, verification and code generation. Results are delivered in text format only.

In order to gain more insight graphical feedback is delivered in the following cases:

• System view: a visual representation of the system composition of dezyne components.
• State view: a state diagram of component, system or interface.
• Sequence view: a message sequence chart showing the result of a simulation or verification trace. The sequence view is interactive, and allows the displayed trace to be extended and shortened.

All views are initiated by the user from the command-line, and are presented in a web page.