Agreements and policies in cooperative mobile agents: Formalization and implementation

Fuyuki Ishikawa*, Nobukazu Yoshioka, Shinichi Honiden

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationOn the Move to Meaningful Internet Systems 2007
Subtitle of host publicationCoopIS, DOA, ODBASE, GADA, and IS - OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Proceedings
PublisherSpringer Verlag
Pages683-700
Number of pages18
EditionPART 1
ISBN (Print)9783540768463
DOIs
Publication statusPublished - 2007 Jan 1
Externally publishedYes
EventOTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007 - Vilamoura, Portugal
Duration: 2007 Nov 252007 Nov 30

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
NumberPART 1
Volume4803 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherOTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007
Country/TerritoryPortugal
CityVilamoura
Period07/11/2507/11/30

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'Agreements and policies in cooperative mobile agents: Formalization and implementation'. Together they form a unique fingerprint.

Cite this