Agreements and policies in cooperative mobile agents: Formalization and implementation

Fuyuki Ishikawa*, Nobukazu Yoshioka, Shinichi Honiden

*この研究の対応する著者

研究成果: Conference contribution

抄録

Organization of mobile agents into a group has appeared as a new paradigm for dynamic deployment of composite services. However, it has not been discussed how multiple mobile agents cooperate with each other, handling conflicts in their requirements. In response to this problem, this study proposes a model for cooperative mobility based on the notion of agreements. Agent behavior defined in the proposed model involves agreement establishment and enforcement for cooperative mobility. Such behavior can be customized only by specifying requirements/constraints of each agent, eliminating the necessity to write down the whole behavior to handle agreements. The model is described in a formal way, using Event Calculus, and it is proved the model leads to no occurrence of defined inconsistency. The model has been implemented on an existing agent framework, Freedia, combined with its dynamic partner management mechanism.

本文言語English
ホスト出版物のタイトルOn the Move to Meaningful Internet Systems 2007
ホスト出版物のサブタイトルCoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings
出版社Springer Verlag
ページ683-700
ページ数18
PART 1
ISBN(印刷版)9783540768463
DOI
出版ステータスPublished - 2007 1月 1
外部発表はい
イベントOTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007 - Vilamoura, Portugal
継続期間: 2007 11月 252007 11月 30

出版物シリーズ

名前Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
番号PART 1
4803 LNCS
ISSN(印刷版)0302-9743
ISSN(電子版)1611-3349

Other

OtherOTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007
国/地域Portugal
CityVilamoura
Period07/11/2507/11/30

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Agreements and policies in cooperative mobile agents: Formalization and implementation」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル