Local Event Handler
イベントハンドラのバインド元の Dom を Bind Root と呼ぶこととする
イベントハンドラが Bind Root の中の情報しか使っていない場合、locally dependent と呼ぶこととする
イベントハンドラが Bind Root の中の Node しか操作しない場合に locally affecting と呼ぶこととする
locally dependeny で locally affecting なイベントハンドラを Local Event Handler と呼ぶこととする
DOM A と DOM B が親子関係にない時に remote と呼ぶこととする
DOM A_1,..., A_N のいずれの2つも全て remote な時にそれら全体が remote であると呼ぶこととする
イベントハンドラ A, B について A の Bind Root と B の Bind Root が remote であるとき、A, B は remote であると呼ぶこととする
イベントハンドラ A_1,..., A_N についていづれの2つも remote であるときにそれらは remote であると呼ぶこととする
言いたいこと(要証明)
remote な Local Event Handler A_1,..., A_N があった時にそれらはお互いに影響し合わないというようなことが言いたい
つまり remote で local な Event Handler だけで構築されたシステムがあれば各 Event Handler は単体だけで動作の検証が可能であり、他の Event Handler の作用によって破壊されることがない。つまり、そのようなシステムは分割統治が可能であって、十分開発スケールすることが出来る。