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.
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