StateChartの実装
Implementations
図を状態遷移表に変換コンパイラが存在
Conversion tools
特殊ツールが必要
Special tools required