本書は、相互作用設計支援の考え方を示し、相互作用の検証項目を分類し、これらの分類に応じた各種の矛盾検出方法を解説している。取り扱った題材は、通信サービスであるが、紹介する手法は、状態遷移モデルに基づく題材には広く適用の可能性があると考える。