Article

A semantic framework for the recursive specification of interaction protocols

Authors:

Juan Manuel Serrano,

Sascha OssowskiAuthors Info & Claims

SAC '05: Proceedings of the 2005 ACM symposium on Applied computing

Pages 451 - 456

https://doi.org/10.1145/1066677.1066780

Published: 13 March 2005 Publication History

Get Access

Abstract

This paper addresses two major problems concerning the specification of interaction protocols: the lack of an established semantic framework which precisely identifies the modelling elements that different kind of specification techniques may exploit in their specifications; and the lack of techniques which allow designers to reuse pre-specified protocols by specialising them in more specific domains. We deal with these issues in the context of the organisational framework provided by the RICA theory, and propose a new formalism based on so-called Interaction State Machines, which will be applied to the re-design of some protocols of the FIPA IPL.

References

[1]

J. M. Bradshaw, S. Dutfield, P. Benoit, and J. D. Woolley. KAoS: Toward an industrial-strength open agent architecture. In J. M. Bradshaw, editor, Software Agents, chapter 17, pages 375--418. AAAI Press / The MIT Press, 1997.

Digital Library

Google Scholar

[2]

N. Busi, P. Ciancarini, R. Gorrieri, and G. Zavattaro. Coordination models: A guided tour. In A. Omicini, F. Zambonelli, M. Klusch, and R. Tolksdorf, editors, Coordination of Internet Agents: Models, Technologies, and Applications, chapter 1, pages 6--24. Springer, 2001.

Digital Library

Google Scholar

[3]

R. S. Cost, Y. Labrou, and T. Finin. Coordinating agents using agent communication languages conversations. In A. Omicini, F. Zambonelli, M. Klusch, and R. Tolksdorf, editors, Coordination of Internet Agents: Models, Technologies, and Applications, chapter 7, pages 183--196. Springer, 2001.

Digital Library

Google Scholar

[4]

M. Esteva, B. Rosell, J. A. Rodrlguez-Aguilar, and J. L. Arcos. AMELI: An agent-based middleware for electronic institutions. In Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, volume 1, pages 236--243, 2004.

Digital Library

Google Scholar

[5]

Foundation for Intelligent Physical Agents. FIPA Interaction Protocol Library Specification. http://www.fipa.org/repository/ips.html, 2003.

Google Scholar

[6]

K. Kuwabara, T. Ishida, and N. Osato. Agentalk: Coordination protocol description for multiagent systems. In V. Lesser, editor, Proceedings of the First International Conference on Multi-Agent Systems, page 455, San Francisco, CA, 1995. MIT Press.

Google Scholar

[7]

M. H. Nodine and A. Unruh. Constructing robust conversation policies in dynamic agent communities. In F. Dignum and M. Greaves, editors, Issues in Agent Communication, pages 205--219. Springer-Verlag: Heidelberg, Germany, 2000.

Digital Library

Google Scholar

[8]

J. Odell, H. V. D. Parunak, and B. Bauer. Extending UML for agents. In Y. L. Gerd Wagner and E. Y. eds., editors, Proc. of the Agent-Oriented Information Systems Workshop at the 17th National conference on Artificial Intelligence, pages 3--17. Springer-Verlag, 2000.

Google Scholar

[9]

M. D. Sadek. Dialogue acts are rational plans. In Proceedings of the ESCA/ETRW Workshop on the structure of multimodal dialogue, pages 1--29, Maxatea, Italie, 1991.

Google Scholar

[10]

J. M. Serrano. The RICAJ framework. http://platon.escet.urjc.es/~jserrano.

Google Scholar

[11]

J. M. Serrano. Pragmática de los agentes software: análisis y diseño de lenguajes de comunicación artificiales. Universidad Rey Juan Carlos. PhD Thesis, 2004.

Google Scholar

[12]

J. M. Serrano and S. Ossowski. An organizational approach to the design of interaction protocols. Communication in Multiagent Systems - Current Trends and Future Directions (Huget, ed.), Lecture Notes in Computer Science, 2650:194--208, 2003.

Digital Library

Google Scholar

[13]

J. M. Serrano and S. Ossowski. On the impact of agent communication languages on the implementation of agent systems. Cooperative Information Agents VIII (Klusch, Ossowski & Kashyap, ed.), Lecture Notes in Computer Science, 3191, 2004.

Google Scholar

[14]

J. M. Serrano, S. Ossowski, and A. Fernández. The pragmatics of software agents - analysis and design of agent communication languages. Intelligent Information Agents - An AgentLink Perspective (Klusch, Bergamaschi, Edwards & Petta, ed.), Lecture Notes in Computer Science, 2586:234--274, 2003.

Digital Library

Google Scholar

Cited By

View all

Botelho LFernández AFries BKlusch MPereira LSantos TPais PVasirani M(2008)Service DiscoveryCASCOM: Intelligent Service Coordination in the Semantic Web10.1007/978-3-7643-8575-0_10(205-233)Online publication date: 2008
https://doi.org/10.1007/978-3-7643-8575-0_10
Serrano JOssowski S(2007)A compositional framework for the specification of interaction protocols in multiagent organizationsWeb Intelligence and Agent Systems10.5555/1377765.13777705:2(197-214)Online publication date: 1-Apr-2007
https://dl.acm.org/doi/10.5555/1377765.1377770
Fernández AVasirani MCáceres COssowski S(2007)A Role-Based Support Mechanism for Service Description and DiscoveryService-Oriented Computing: Agents, Semantics, and Engineering10.1007/978-3-540-72619-7_10(132-146)Online publication date: 2007
https://doi.org/10.1007/978-3-540-72619-7_10
Show More Cited By

Index Terms

A semantic framework for the recursive specification of interaction protocols
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Multi-agent systems

Recommendations

A compositional framework for the specification of interaction protocols in multiagent organizations

This paper addresses the notion of context in multiagent systems from an organisational point of view. Setting out from the RICA metamodel that shapes the agents' space of interaction on the basis of hierarchical organisational and communicative ...
On illegal composition of first-class agent interaction protocols
ACSC '08: Proceedings of the thirty-first Australasian conference on Computer science - Volume 74

In this paper, we examine the composition of first-class protocols for multi-agent systems. First-class protocols are protocols that exist as executable specifications that agents use at runtime to acquire the rules of the protocol. This is in contrast ...
Characterising and matching iterative and recursive agent interaction protocols
AAMAS '10: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

For an agent to intelligently use specifications of executable protocols, it is necessary that the agent can quickly and correctly assess the outcomes of that protocol if it is executed. In some cases, this information may be attached to the ...

Comments

Information & Contributors

Information

Published In

SAC '05: Proceedings of the 2005 ACM symposium on Applied computing

March 2005

1814 pages

ISBN:1581139640

DOI:10.1145/1066677

Conference Chair:
Hisham M. Haddad
Kennesaw State University
,
Editor:
Lorie M. Liebrock
New Mexico Institute of Mining and Technology, Socorro, NM
,
Program Chairs:
Andrea Omicini
Alma Mater Studiorum, Universita di Bologna, Italy
,
Roger L. Wainwright
Univerity of Tulsa, OK

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 March 2005

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SAC05

Sponsor:

SIGAPP

SAC05: The 2005 ACM Symposium on Applied Computing

March 13 - 17, 2005

New Mexico, Santa Fe

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
190
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 11 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Botelho LFernández AFries BKlusch MPereira LSantos TPais PVasirani M(2008)Service DiscoveryCASCOM: Intelligent Service Coordination in the Semantic Web10.1007/978-3-7643-8575-0_10(205-233)Online publication date: 2008
https://doi.org/10.1007/978-3-7643-8575-0_10
Serrano JOssowski S(2007)A compositional framework for the specification of interaction protocols in multiagent organizationsWeb Intelligence and Agent Systems10.5555/1377765.13777705:2(197-214)Online publication date: 1-Apr-2007
https://dl.acm.org/doi/10.5555/1377765.1377770
Fernández AVasirani MCáceres COssowski S(2007)A Role-Based Support Mechanism for Service Description and DiscoveryService-Oriented Computing: Agents, Semantics, and Engineering10.1007/978-3-540-72619-7_10(132-146)Online publication date: 2007
https://doi.org/10.1007/978-3-540-72619-7_10
Serrano JOssowski SSaugar S(2005)Reusable components for implementing agent interactionsProceedings of the Third international conference on Programming Multi-Agent Systems10.1007/11678823_7(101-119)Online publication date: 26-Jul-2005
https://dl.acm.org/doi/10.1007/11678823_7

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

A compositional framework for the specification of interaction protocols in multiagent organizations

On illegal composition of first-class agent interaction protocols

Characterising and matching iterative and recursive agent interaction protocols