Pigeon: A specification language for mobile agent applications

Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden

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

2 Citations (Scopus)

Abstract

Recently, research of formal models and specification languages of mobile agents is growing in order to cope with problems in using mobile agents such as security and control of complicated behaviors including migration. Such models and languages require the following features to be widely used in practical applications. The first is customizability to conform to a variety of agent platforms whose features may include various migration and communication modes and various agent architectures. The second is sufficient descriptive power to handle various requirements such as security and safety. However, existing models and languages are not satisfactory in these aspects. In this paper, we propose Pigeon, a specification language for mobile agent applications. We can customize not only the syntax of Pigeon but also its semantics by representing the semantics in a logical framework called RL/R (reflective rewriting logic) and making the representation changeable. The high descriptive power of Pigeon is realized by the reflection feature of RL/R. We illustrate the practical advantage of Pigeon by applying it to an example of a B2B EC electronic catalog system and comparing other models and languages.

Original languageEnglish
Title of host publicationProceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004
EditorsN.R. Jennings, C. Sierra, L. Sonenberg, M. Tambe
Pages1356-1357
Number of pages2
Volume3
Publication statusPublished - 2004 Sep 27
Externally publishedYes
EventProceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004 - New York, NY
Duration: 2004 Jul 192004 Jul 23

Other

OtherProceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004
CityNew York, NY
Period04/7/1904/7/23

Fingerprint

Specification languages
Mobile agents
Semantics
Communication

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Tahara, Y., Ohsuga, A., & Honiden, S. (2004). Pigeon: A specification language for mobile agent applications. In N. R. Jennings, C. Sierra, L. Sonenberg, & M. Tambe (Eds.), Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004 (Vol. 3, pp. 1356-1357)

Pigeon : A specification language for mobile agent applications. / Tahara, Yasuyuki; Ohsuga, Akihiko; Honiden, Shinichi.

Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004. ed. / N.R. Jennings; C. Sierra; L. Sonenberg; M. Tambe. Vol. 3 2004. p. 1356-1357.

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

Tahara, Y, Ohsuga, A & Honiden, S 2004, Pigeon: A specification language for mobile agent applications. in NR Jennings, C Sierra, L Sonenberg & M Tambe (eds), Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004. vol. 3, pp. 1356-1357, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004, New York, NY, 04/7/19.
Tahara Y, Ohsuga A, Honiden S. Pigeon: A specification language for mobile agent applications. In Jennings NR, Sierra C, Sonenberg L, Tambe M, editors, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004. Vol. 3. 2004. p. 1356-1357
Tahara, Yasuyuki ; Ohsuga, Akihiko ; Honiden, Shinichi. / Pigeon : A specification language for mobile agent applications. Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004. editor / N.R. Jennings ; C. Sierra ; L. Sonenberg ; M. Tambe. Vol. 3 2004. pp. 1356-1357
@inproceedings{e44fdd41251c46deb7994fe7f447a5ef,
title = "Pigeon: A specification language for mobile agent applications",
abstract = "Recently, research of formal models and specification languages of mobile agents is growing in order to cope with problems in using mobile agents such as security and control of complicated behaviors including migration. Such models and languages require the following features to be widely used in practical applications. The first is customizability to conform to a variety of agent platforms whose features may include various migration and communication modes and various agent architectures. The second is sufficient descriptive power to handle various requirements such as security and safety. However, existing models and languages are not satisfactory in these aspects. In this paper, we propose Pigeon, a specification language for mobile agent applications. We can customize not only the syntax of Pigeon but also its semantics by representing the semantics in a logical framework called RL/R (reflective rewriting logic) and making the representation changeable. The high descriptive power of Pigeon is realized by the reflection feature of RL/R. We illustrate the practical advantage of Pigeon by applying it to an example of a B2B EC electronic catalog system and comparing other models and languages.",
author = "Yasuyuki Tahara and Akihiko Ohsuga and Shinichi Honiden",
year = "2004",
month = "9",
day = "27",
language = "English",
isbn = "1581138644",
volume = "3",
pages = "1356--1357",
editor = "N.R. Jennings and C. Sierra and L. Sonenberg and M. Tambe",
booktitle = "Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004",

}

TY - GEN

T1 - Pigeon

T2 - A specification language for mobile agent applications

AU - Tahara, Yasuyuki

AU - Ohsuga, Akihiko

AU - Honiden, Shinichi

PY - 2004/9/27

Y1 - 2004/9/27

N2 - Recently, research of formal models and specification languages of mobile agents is growing in order to cope with problems in using mobile agents such as security and control of complicated behaviors including migration. Such models and languages require the following features to be widely used in practical applications. The first is customizability to conform to a variety of agent platforms whose features may include various migration and communication modes and various agent architectures. The second is sufficient descriptive power to handle various requirements such as security and safety. However, existing models and languages are not satisfactory in these aspects. In this paper, we propose Pigeon, a specification language for mobile agent applications. We can customize not only the syntax of Pigeon but also its semantics by representing the semantics in a logical framework called RL/R (reflective rewriting logic) and making the representation changeable. The high descriptive power of Pigeon is realized by the reflection feature of RL/R. We illustrate the practical advantage of Pigeon by applying it to an example of a B2B EC electronic catalog system and comparing other models and languages.

AB - Recently, research of formal models and specification languages of mobile agents is growing in order to cope with problems in using mobile agents such as security and control of complicated behaviors including migration. Such models and languages require the following features to be widely used in practical applications. The first is customizability to conform to a variety of agent platforms whose features may include various migration and communication modes and various agent architectures. The second is sufficient descriptive power to handle various requirements such as security and safety. However, existing models and languages are not satisfactory in these aspects. In this paper, we propose Pigeon, a specification language for mobile agent applications. We can customize not only the syntax of Pigeon but also its semantics by representing the semantics in a logical framework called RL/R (reflective rewriting logic) and making the representation changeable. The high descriptive power of Pigeon is realized by the reflection feature of RL/R. We illustrate the practical advantage of Pigeon by applying it to an example of a B2B EC electronic catalog system and comparing other models and languages.

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

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

M3 - Conference contribution

AN - SCOPUS:4544301951

SN - 1581138644

SN - 9781581138641

VL - 3

SP - 1356

EP - 1357

BT - Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004

A2 - Jennings, N.R.

A2 - Sierra, C.

A2 - Sonenberg, L.

A2 - Tambe, M.

ER -