2003 Fiscal Year Annual Research Report
アドホックネットワーク向け分散協調アプリケーション記述言語とその処理系
| Project/Area Number |
14780208
|
|---|
| Research Institution | Nara Institute of Science and Technology |
|---|
Principal Investigator |
安本 慶一 奈良先端科学技術大学院大学, 情報科学研究科, 助教授 (40273396)
|
|---|
| Keywords | 形式言語 / ミドルウェア / アドホックネットワーク / グループ形成 / 携帯端末 / 分散システム |
|---|
| Research Abstract |
本研究では,無線環境において,複数移動端末上のプログラム(エージェント)が指定した条件でグループを形成する機構と,グループメンバ間でマルチランデブ(複数並行プロセス間で,指定された条件が成立する時に,同期通信によりデータ交換を行う機構)により通信できる機構を有する形式モデルを考案した.本モデルでは,アプリケーションシステム全体は,当初,互いに独立に動作するエージェントの集合として与えられる.グループの形成は,本モデルの通信プリミティブである「メンバ募集」および「参加要求」により実現される.あるエージェントが「メンバ募集」によりグループのメンバを募集し,無綿範囲内にいる別のエージェントが,これに対し「参加要求」を実行することで,これらエージェント間でのグループが形成される.また,グループ内のどのメンバからでも,さらなる「メンバ募集」を実行できるようにすることで,3以上のエージェントからなるグループを形成できる.グループ形成時の条件として,位置情報に基づく端末間の距離やキーワードの関連度を指定することも可能である.グループメンバ間では,グループ形成時に指定した通信チャネル名のリストが共有され,これらのチャネルを通じて,マルチランデブによる通信が行える.グループ内のマルチランデブを実現するため,あるグループ内のメンバが各チャネルに対してどのように通信すべきか(マルチキャスト,排他制御など)を木で表す.提案モデルのセマンティクスとして,グループへの新たなメンバの参加,既存メンバの離脱を,この木に対する操作として定義した.本モデルをJavaミドルウェアとして実装し,幾つかの例題の記述,無線LAN上での実験を通して,提案モデル,ミドルウェアを用いて無線環境上の協調アプリケーションの開発が容易に行えること,グループ形成およびグループ内の通信が実用的な速度で動作することなどを確かめた.
|
Research Products
(4 results)
-
[Publications] K.Nishigaki: "Middleware Providing Group Communication Facility Based on Multi-way Synchronization for Cellular Phone Applications"Proc.of 4th International Workshop on Smart Appliances and Wearable Comnuting (IWSAWC 2004). (発表予定). (2004)
-
[Publications] K.Nishigaki: "Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications"Proc.of the 2004 IEEE International Conference on Mobile Data Management (MDM2004). 170-170 (2004)
-
[Publications] T.Umedu: "Middleware for Synchronous Group Communication in Wireless Ad Hoc Networks"Proc.of IASTED International Conference on Communications and Computer Networks (CCN2002). 48-53 (2002)
-
[Publications] T.Umedu: "A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels"Proc.of International Symposium of Formal Methods Europe (FME2002), LNCS2391. 607-624 (2002)
