本書は、『状態遷移表』を拡張して階層化した設計手法の技術解説書である。『状態遷移表』において、「並列状態」「割込み」「階層化」「駆動型」「遷移型」などを、どのように表記し、どのように解釈されるかが定義されている。