@article{oai:uec.repo.nii.ac.jp:00009120,
 author = {田原, 康之 and TAHARA, Yasuyuki and 大須賀, 昭彦 and OHSUGA, Akihiko and 本位田, 真一 and HONIDEN, Shinichi},
 issue = {8},
 journal = {電子情報通信学会論文誌. D, 情報・システム},
 month = {Aug},
 note = {モバイルエージェント技術が普及するにつれて，実適用にあたり，例えば開放型のネットワーク上を動き回るため動作の把握が困難であることや，セキュリティの確保が従来のシステムに比べて難しいなど，多くの問題が浮かび上がってきている．このような問題を解決する手段として，形式仕様技術が注目されており，モバイルエージェント向けの仕様記述言語や，そのための理論的基盤となる計算モデルがいくつか提案されている．しかし，モバイルエージェントアプリケーションの仕様を効果的に記述・利用するためには，その記述言語にもカスタマイズ機能や高度な記述能力が要求されるが，従来の言語では対応していない．そこで本論文では，モバイルエージェントアプリケーションの仕様記述に必要な，カスタマイズ機能や高度な記述能力を実現した言語Pigeonを提案する．Pigeonは，仕様記述言語として，動作仕様と要求仕様の分離や，前者から後者の体系へのモデル化を変更可能とすることにより，カスタマイズ機能を実現する．また，リフレクション機能により，高度な記述能力を実現する．また本論文では，Pigeonを電子カタログアプリケーションに適用し，更に他の言語と比較することにより，Pigeonの評価を行う．},
 pages = {532--542},
 title = {モバイルエージェントアプリケーションのための仕様記述言語Pigeon},
 volume = {J86-D1},
 year = {2003},
 yomi = {タハラ, ヤスユキ and オオスガ, アキヒコ and ホンイデン, シンイチ}
}