Comments:
DiaGen is a tool which creates other editing environments from a meta-model. It uses graph
grammars to specify the formalism's operational semantics. The editors are created by using their
extensive Java libraries. In fact, what will be examined here is a statechart editor created
using the DiaGen environment obtained from the author's website
as an example of DiaGen's capabilities. Thus, there exists a statechart meta-model. It would
be easy to add new features that are lacking by simply modifying the meta-model.
| Components: | |
| Hierarchy (Y/N) | |
| Orthogonality (Y/N) | |
| Guards (Y/N) | |
| Hyperedges (Y/N) | |
| History (Y/N) | |
| Deep history (Y/N) | |
| Conditional component (Y/N) | |
| Select component (Y/N) | |
| Forks (Y/N) | |
| Joins (Y/N) | |
| Synch states (Y/N) | |
| Environment Features: | |
| Hierarchical zoom (Y/N) | |
| API functions | |
| Simulation (Y/N) | |
| Code generation (Y/N) | |
| Semantics: | |
| Causality (Y/N) | |
| Negated triggers (Y/N) | |
| Contradictory actions (Y/N) | |
| Inter-level transitions (Y/N) | |
| State references (Y/N) | |
| Compositional semantics (Y/N) | |
| Instantaneous states (Y/N) | |
| Event durability | |
| Deterministic (Y/N) | |
| Transition priorities | |
| Interrupts | |