1999年3月15日
並行計算πFを用いたモバイルシステム管理
情報処理学会研究報告. DPS,マルチメディア通信と分散処理研究会報告
- ,
- ,
- 巻
- 94
- 号
- 56
- 開始ページ
- 115
- 終了ページ
- 120
- 記述言語
- 日本語
- 掲載種別
- 出版者・発行元
- 一般社団法人情報処理学会
本研究では,並行計算πFを用いて,モバイルシステムの安定な運用を行うための方法を考察する.モバイルシステムの特徴は,通信主体の移動,および動的リンク切替である.πFは,そのような移動性に加え,置かれている環境によるシステム挙動への制約を考慮したπ計算の拡張版である.本研究では,事故などの環境の変化から生じるシステムのトラブルを環境レベルで補償するために,通信主体間の接続性に注目する.この接続可醜性に基づき,πFでモデル化した環境を修復する指針を示す.
- リンク情報
-
- CiNii Articles
- http://ci.nii.ac.jp/naid/110002938406
- CiNii Books
- http://ci.nii.ac.jp/ncid/AN10116224
- URL
- http://id.ndl.go.jp/bib/5338266
- ID情報
-
- ISSN : 0919-6072
- CiNii Articles ID : 110002938406
- CiNii Books ID : AN10116224