Statechart Tool Analysis

This section describes features present in several statechart editing tools. Many aspects of the tools will be examined including:

Components:

• Hierarchy support (Y/N)
• Orthogonality support (Y/N)
• Conditional support (Y/N)
• Hyperedge support (Y/N)
• History support (Y/N)
• Deep history support (Y/N)
• Conditional component present (Y/N)
• Select component present (Y/N)
• Forks (Y/N)
• Joins (Y/N)
• Synch states (Y/N)

Environment Features:

• Hierarchical zoom capability (Y/N)
• API functions (function list)
• Simulation capability (Y/N)
• Code generation (Y/N)

Semantics:

• Self-triggering, causality (Y/N)
• Negated triggers (Y/N)
• Contradictory actions allowed (Y/N)
• Inter-level transitions (Y/N)
• State references allowed (ie. in(state))(Y/N)
• Compositional semantics (Y/N)
• Instantaneous states (Y/N)
• Event durability (instantaneous/non-instantaneous)
• Determinism (Deterministic/Non-deterministic)
• Transition priorities (description of priority scheme)
• Interrupts (preemptive/non-preemptive)

A description of all the previous features can be seen here.

Here is a list of all the tools that will be examined. Click on a tool name to examine its features: