Agreements and policies in cooperative mobile agents

Formalization and implementation

Fuyuki Ishikawa, Nobukazu Yoshioka, Shinichi Honiden

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
Pages683-700
Number of pages18
EditionPART 1
Publication statusPublished - 2007 Dec 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
CountryPortugal
CityVilamoura
Period07/11/2507/11/30

Fingerprint

Mobile agents
Mobile Agent
Formalization
Event Calculus
Model
Requirements
Inconsistency
Paradigm
Composite
Policy
Composite materials

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Ishikawa, F., Yoshioka, N., & Honiden, S. (2007). Agreements and policies in cooperative mobile agents: Formalization and implementation. In 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 (PART 1 ed., pp. 683-700). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4803 LNCS, No. PART 1).

Agreements and policies in cooperative mobile agents : Formalization and implementation. / Ishikawa, Fuyuki; Yoshioka, Nobukazu; Honiden, Shinichi.

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. PART 1. ed. 2007. p. 683-700 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4803 LNCS, No. PART 1).

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

Ishikawa, F, Yoshioka, N & Honiden, S 2007, Agreements and policies in cooperative mobile agents: Formalization and implementation. in 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. PART 1 edn, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 1, vol. 4803 LNCS, pp. 683-700, OTM Confederated International Conferences CoopIS, DOA, ODBASE, GADA, and IS 2007, Vilamoura, Portugal, 07/11/25.
Ishikawa F, Yoshioka N, Honiden S. Agreements and policies in cooperative mobile agents: Formalization and implementation. In 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. PART 1 ed. 2007. p. 683-700. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1).
Ishikawa, Fuyuki ; Yoshioka, Nobukazu ; Honiden, Shinichi. / Agreements and policies in cooperative mobile agents : Formalization and implementation. 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. PART 1. ed. 2007. pp. 683-700 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1).
@inproceedings{34bbab67e51b4925b4e23372cbd09c6a,
title = "Agreements and policies in cooperative mobile agents: Formalization and implementation",
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.",
author = "Fuyuki Ishikawa and Nobukazu Yoshioka and Shinichi Honiden",
year = "2007",
month = "12",
day = "1",
language = "English",
isbn = "9783540768463",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
number = "PART 1",
pages = "683--700",
booktitle = "On the Move to Meaningful Internet Systems 2007",
edition = "PART 1",

}

TY - GEN

T1 - Agreements and policies in cooperative mobile agents

T2 - Formalization and implementation

AU - Ishikawa, Fuyuki

AU - Yoshioka, Nobukazu

AU - Honiden, Shinichi

PY - 2007/12/1

Y1 - 2007/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=38349054144&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=38349054144&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9783540768463

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 683

EP - 700

BT - On the Move to Meaningful Internet Systems 2007

ER -