モバイルエージェントアプリケーションのための仕様記述言語Pigeon

機関リポジトリ Web Site 参考文献14件

書誌事項

タイトル別名
  • Specification Language Pigeon for Mobile Agent Applications
  • モバイルエージェントアプリケーション ノ タメ ノ シヨウ キジュツ ゲンゴ Pigeon

この論文をさがす

抄録

モバイルエージェント技術が普及するにつれて，実適用にあたり，例えば開放型のネットワーク上を動き回るため動作の把握が困難であることや，セキュリティの確保が従来のシステムに比べて難しいなど，多くの問題が浮かび上がってきている．このような問題を解決する手段として，形式仕様技術が注目されており，モバイルエージェント向けの仕様記述言語や，そのための理論的基盤となる計算モデルがいくつか提案されている．しかし，モバイルエージェントアプリケーションの仕様を効果的に記述・利用するためには，その記述言語にもカスタマイズ機能や高度な記述能力が要求されるが，従来の言語では対応していない．そこで本論文では，モバイルエージェントアプリケーションの仕様記述に必要な，カスタマイズ機能や高度な記述能力を実現した言語Pigeonを提案する．Pigeonは，仕様記述言語として，動作仕様と要求仕様の分離や，前者から後者の体系へのモデル化を変更可能とすることにより，カスタマイズ機能を実現する．また，リフレクション機能により，高度な記述能力を実現する．また本論文では，Pigeonを電子カタログアプリケーションに適用し，更に他の言語と比較することにより，Pigeonの評価を行う．

収録刊行物

参考文献 (14)*注記

もっと見る

キーワード

詳細情報 詳細情報について

問題の指摘

ページトップへ