深い図を巡回するなら
- 実用UML — 通知・応答、実行区間、状態内処理、反復、関連クラス。
- 階層状態図 — 並行領域の同期、中断と履歴からの再開、サブマシンの利用側と定義。
- 複合ケース — 分岐ごとの寿命、ループの中断、操作の契約、継承した遷移の再定義。各節で元のソースを開けます。
状態図の validation=strict は構造の不整合を検出します。イベント処理やガード式を実行するシミュレーターではありません。診断の範囲
線色・文字修飾・継承ソースの保持は記法の説明、可視性アイコンなどは追加記法と未照合範囲を参照してください。サンプルは現在のリポジトリビルドを使用します。