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.