パスパラメータに等式（制約条件）を記述できるようにし，パラメータが制約を満たした場合のみイベントが発火するようにした．

dynamicResourceCreation ブランチの修正の反映． ...

・シミュレーション時に，追加する子リソースの型が子リソースの階層の型から導出できない場合に，追加する値の型から導出するようにした．
・チャンネルセレクタが複数定義されていたときにモデルファイルが読めなかった不具合とシミュレータが正しく動作しなかった不具合を修正．
・チャンネルが階層化されていたときにシミュレータにメッセージを送信できなかった不具合を修正．
・シミュレータのメッセージ選択ダイアログをシミュレータウィンドウの上に表示するようにした．
・Term#getSubTerms() で指定したクラスの子孫クラスに相当する部分項を取ってこれていなかったのを修正．
・子リソースの getter
メソッドを生成できない場合があったのを修正．（同じリソース階層でもリソースノードによって子リソースのあり/なしが異なることによる．）

ResourceIdentifier の toString() の動作がおかしかったのを修正．

リソース識別子を文字列で指定してリソースを取得できるようにした．

チャンネル内のメッセージがリソースの状態に依存し，かつ参照するリソースのパスがチャンネル内のメッセージに依存するような複雑な依存関係がある場合に正しくイベントを実行できていなかったので，設計を大きく変更した．具体的には，Eventクラス内で，1)メッセージへの制約の計算，2)メッセージ制約からパスパラメータの導出，3)パスパラメータが決定されたリソースの状態を参照を，依存関係を考慮しながら適切な順番で行うようにした．

シミュレータで状態遷移ができるようにした．（ただし，ほとんど未テスト．）

作業途中だけど一旦コミット．