Next: Well-formedness, Previous: The Dezyne command-line tools, Up: Top [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.
| • Lexical Analysis | Tokens, separators and whitespace. | |
| • Dezyne Files | What goes into a Dezyne file? | |
| • Types and Expressions | Manipulating data in Dezyne. | |
| • Interfaces | Defining contracts for components and systems. | |
| • Components | Defining a program’s behavior in Dezyne. | |
| • Systems | Decomposing a system. | |
| • Namespaces | Avoiding name collision. |
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