A modeling framework for generic agent interaction protocols

José Ghislain Quenum, Samir Aknine, Jean Pierre Briot, Shinichi Honiden

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

8 Citations (Scopus)

Abstract

Agent-UML (AUML) extended UML in order to facilitate the modeling process for agent based systems. It offers several graphical notations, including protocol diagrams which represent agent interaction protocols. In this paper, we describe an AUML-based framework to specify generic protocols. We call generic protocols, agent interaction protocols where only a general behavior of the interacting entities can be described. From AUML protocol diagrams, we identified five fundamental concepts on top of which we defined formal specifications of generic protocols. Through our specifications, we addressed a lack in generic protocol representation by emphasizing the description of actions performed in the course of interactions based on such protocols. The framework we developed is formal, expressive and of practical use. It helps decouple interaction concerns from the rest of an agent’s architecture. As an application, we used this framework to publish the specifications of generic protocols for agent interactions in several multi-agent system applications we developed. Additionally, the framework helped us address two issues faced in the design of agent interactions based on generic protocols, protocol configuration and their dynamic selection.

Original languageEnglish
Title of host publicationDeclarative Agent Languages and Technologies IV - 4th InternationalWorkshop, DALT 2006, Selected, Revised and Invited Papers
PublisherSpringer-Verlag
Pages207-224
Number of pages18
ISBN (Print)9783540689591
Publication statusPublished - 2006 Jan 1
Externally publishedYes
Event4th International Workshop on Declarative Agent Languages and Technologies IV, DALT 2006 - Hakodate, Japan
Duration: 2006 May 82006 May 8

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4327 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other4th International Workshop on Declarative Agent Languages and Technologies IV, DALT 2006
CountryJapan
CityHakodate
Period06/5/806/5/8

Fingerprint

Interaction Protocols
Network protocols
Modeling
Interaction
Diagram
Framework
Specification
Agent-based Systems
Agent Architecture
Formal Specification
Specifications
Process Modeling
Notation
Multi-agent Systems
Multi agent systems

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Quenum, J. G., Aknine, S., Briot, J. P., & Honiden, S. (2006). A modeling framework for generic agent interaction protocols. In Declarative Agent Languages and Technologies IV - 4th InternationalWorkshop, DALT 2006, Selected, Revised and Invited Papers (pp. 207-224). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4327 LNAI). Springer-Verlag.

A modeling framework for generic agent interaction protocols. / Quenum, José Ghislain; Aknine, Samir; Briot, Jean Pierre; Honiden, Shinichi.

Declarative Agent Languages and Technologies IV - 4th InternationalWorkshop, DALT 2006, Selected, Revised and Invited Papers. Springer-Verlag, 2006. p. 207-224 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 4327 LNAI).

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

Quenum, JG, Aknine, S, Briot, JP & Honiden, S 2006, A modeling framework for generic agent interaction protocols. in Declarative Agent Languages and Technologies IV - 4th InternationalWorkshop, DALT 2006, Selected, Revised and Invited Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 4327 LNAI, Springer-Verlag, pp. 207-224, 4th International Workshop on Declarative Agent Languages and Technologies IV, DALT 2006, Hakodate, Japan, 06/5/8.
Quenum JG, Aknine S, Briot JP, Honiden S. A modeling framework for generic agent interaction protocols. In Declarative Agent Languages and Technologies IV - 4th InternationalWorkshop, DALT 2006, Selected, Revised and Invited Papers. Springer-Verlag. 2006. p. 207-224. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Quenum, José Ghislain ; Aknine, Samir ; Briot, Jean Pierre ; Honiden, Shinichi. / A modeling framework for generic agent interaction protocols. Declarative Agent Languages and Technologies IV - 4th InternationalWorkshop, DALT 2006, Selected, Revised and Invited Papers. Springer-Verlag, 2006. pp. 207-224 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{6319e31e899c480782d7b2ea1805bbae,
title = "A modeling framework for generic agent interaction protocols",
abstract = "Agent-UML (AUML) extended UML in order to facilitate the modeling process for agent based systems. It offers several graphical notations, including protocol diagrams which represent agent interaction protocols. In this paper, we describe an AUML-based framework to specify generic protocols. We call generic protocols, agent interaction protocols where only a general behavior of the interacting entities can be described. From AUML protocol diagrams, we identified five fundamental concepts on top of which we defined formal specifications of generic protocols. Through our specifications, we addressed a lack in generic protocol representation by emphasizing the description of actions performed in the course of interactions based on such protocols. The framework we developed is formal, expressive and of practical use. It helps decouple interaction concerns from the rest of an agent’s architecture. As an application, we used this framework to publish the specifications of generic protocols for agent interactions in several multi-agent system applications we developed. Additionally, the framework helped us address two issues faced in the design of agent interactions based on generic protocols, protocol configuration and their dynamic selection.",
author = "Quenum, {Jos{\'e} Ghislain} and Samir Aknine and Briot, {Jean Pierre} and Shinichi Honiden",
year = "2006",
month = "1",
day = "1",
language = "English",
isbn = "9783540689591",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "207--224",
booktitle = "Declarative Agent Languages and Technologies IV - 4th InternationalWorkshop, DALT 2006, Selected, Revised and Invited Papers",

}

TY - GEN

T1 - A modeling framework for generic agent interaction protocols

AU - Quenum, José Ghislain

AU - Aknine, Samir

AU - Briot, Jean Pierre

AU - Honiden, Shinichi

PY - 2006/1/1

Y1 - 2006/1/1

N2 - Agent-UML (AUML) extended UML in order to facilitate the modeling process for agent based systems. It offers several graphical notations, including protocol diagrams which represent agent interaction protocols. In this paper, we describe an AUML-based framework to specify generic protocols. We call generic protocols, agent interaction protocols where only a general behavior of the interacting entities can be described. From AUML protocol diagrams, we identified five fundamental concepts on top of which we defined formal specifications of generic protocols. Through our specifications, we addressed a lack in generic protocol representation by emphasizing the description of actions performed in the course of interactions based on such protocols. The framework we developed is formal, expressive and of practical use. It helps decouple interaction concerns from the rest of an agent’s architecture. As an application, we used this framework to publish the specifications of generic protocols for agent interactions in several multi-agent system applications we developed. Additionally, the framework helped us address two issues faced in the design of agent interactions based on generic protocols, protocol configuration and their dynamic selection.

AB - Agent-UML (AUML) extended UML in order to facilitate the modeling process for agent based systems. It offers several graphical notations, including protocol diagrams which represent agent interaction protocols. In this paper, we describe an AUML-based framework to specify generic protocols. We call generic protocols, agent interaction protocols where only a general behavior of the interacting entities can be described. From AUML protocol diagrams, we identified five fundamental concepts on top of which we defined formal specifications of generic protocols. Through our specifications, we addressed a lack in generic protocol representation by emphasizing the description of actions performed in the course of interactions based on such protocols. The framework we developed is formal, expressive and of practical use. It helps decouple interaction concerns from the rest of an agent’s architecture. As an application, we used this framework to publish the specifications of generic protocols for agent interactions in several multi-agent system applications we developed. Additionally, the framework helped us address two issues faced in the design of agent interactions based on generic protocols, protocol configuration and their dynamic selection.

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

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

M3 - Conference contribution

SN - 9783540689591

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

SP - 207

EP - 224

BT - Declarative Agent Languages and Technologies IV - 4th InternationalWorkshop, DALT 2006, Selected, Revised and Invited Papers

PB - Springer-Verlag

ER -