Agreements and policies in cooperative mobile agents: formalization and implementation

Authors:
Fuyuki Ishikawa;Nobukazu Yoshioka;Shinichi Honiden
Affiliations:
National Institute of Informatics, Tokyo, Japan;National Institute of Informatics, Tokyo, Japan;National Institute of Informatics, Tokyo, Japan
Venue:
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Year:
2007

Citing 11
Cited 0

Mobile agent-based compound documents

DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Mobile Agent Applications

IEEE Concurrency
Mobile Agent Middleware for Mobile Computing

Computer
Using Event Calculus to Formalise Policy Specification and Analysis

POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
MobileSpaces: A Framework for Building Adaptive Distributed Applications Using a Hierarchical Mobile Agent System

ICDCS '00 Proceedings of the The 20th International Conference on Distributed Computing Systems ( ICDCS 2000)
Smartive: Agreement-based Mobile Composite Agents for Multimedia Services

CIMCA '06 Proceedings of the International Conference on Computational Inteligence for Modelling Control and Automation and International Conference on Intelligent Agents Web Technologies and International Commerce
The event calculus explained

Artificial intelligence today
A mobile agents platform: architecture, mobility and security elements

ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Bio-inspired deployment of distributed applications

PRIMA'04 Proceedings of the 7th Pacific Rim international conference on Intelligent Agents and Multi-Agent Systems
Organization and mobility in mobile agent computing

ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Contract-Related agents

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

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.