Pigeon: A specification language for mobile agent applications

Yasuyuki Tahara, Akihiko Ohsuga, Shinichi Honiden

研究成果: Conference contribution

2 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルProceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004
編集者N.R. Jennings, C. Sierra, L. Sonenberg, M. Tambe
ページ1356-1357
ページ数2
出版ステータスPublished - 2004 9 27
外部発表はい
イベントProceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004 - New York, NY, United States
継続期間: 2004 7 192004 7 23

出版物シリーズ

名前Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004
3

Conference

ConferenceProceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004
国/地域United States
CityNew York, NY
Period04/7/1904/7/23

ASJC Scopus subject areas

  • 工学(全般)

フィンガープリント

「Pigeon: A specification language for mobile agent applications」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル