Next: Well-formedness, Previous: The Dezyne command-line tools, Up: Dezyne [Contents][Index]
Dezyne is a component based language as well as a method for the development of event-driven systems. The language has formal semantics, which is coherently expressed in: a textual representation, a graphical representation, a mathematical representation, a source code representation, and the observable behavior of a machine executing the resulting program. The concepts available in the language denote the different properties12 that can be observed and have meaning in one or more of the representations: textual, graphical, mathematical, program and execution.
The C-like syntax of Dezyne should give it a familiar feel to
many programmers. Dezyne has some unique language concepts and syntax
elements that are described in this chapter.
Structural: events and their direction in an interface, ports on a component, components in a system, bindings between the ports; behavioral: guarded triggers performing actions | assignments | if-else | functions