UMLと形式手法のハイブリッド仕様が鍵となるか

プッシュ☆スタート2のモデル　共通部分と差分を表記し、制御方式に違いを表している