Article

Open protocol design for complex interactions in multi-agent systems

Authors:

Amal El Fallah Seghrouchni,

Serge HaddadAuthors Info & Claims

AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2

Pages 517 - 526

https://doi.org/10.1145/544862.544866

Published: 15 July 2002 Publication History

Abstract

This paper proposes a generic approach or protocol engineering through the analysis,the specification,and the verification of such protocols when several agents are involved. This approach is three folds:1)Starting from semi-formal specification by means o Protocol Diagrams (AUML),both formal specification of interaction protocols and their verification are allowed thanks to Colored Petri Nets (CPN);2) Debugging and qualitative analysis o interactions are based on distributed observation associated with the true concurrency semantics (i.e.CPN unfolding)and ;3)CPN formalism is extended to Recursive CPN (RCPN)with abstraction in order to deal with open protocols.The main interest of abstraction is the design of fexible protocols giving agents more autonomy during interaction.In addition,abstraction allows concise modeling and easier verification. measures,performance measures .

References

[1]

R. S. Cost,Y. Chen,T. Finin,Y. Labrou,and Y. Peng. Modeling agent conversations with colored Petri nets.In proc. of the 3rd International Conference on Autonomous Agents (Agents '99), Workshop on Agent Conversation Policies, Seattle, Washington,May 1999]]

[2]

M. d 'Inverno, D. Kinny, and M. Luck. Interaction protocols in Agentis. In Proc.of International Conference on Multi Agent Systems (ICMAS '98), 1998]]

Digital Library

[3]

A. El-Fallah-Seghrouchni and S. Haddad. A recursive model or distributed planning. In proc. of the 2nd International Conference on Multi-Agent Systems, Kyoto, Japon, 1996]]

[4]

A. El-Fallah-Seghrouchni, S. Haddad, and H. Mazouzi. A formal study of interactions in multi-agent systems. In Proc.of the 14th International Conference on Computers and Their Applications (ISCA CATA-99), ISBN:1-880843-27-7, Cancun, Mexico, pages 240--245, April 1999]]

[5]

A. El-Fallah-Seghrouchni, S. Haddad, and H. Mazouzi. Protocol engineering or multi-agent interaction.F.J. Garijo, M. Boman (eds.), Proc. of Modelling Autonomous Agents in a Multi-Agent World (MAAMAW '99).LNAI,vol.1647, Springer Verlag., 1999]]

Digital Library

[6]

J. Esparza, S. Romer, and W. Volger. An improvement of mcmillan 's unfolding algorithm. In Proc.of the 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '96), Springer Verlag, Passau, Germany, 1055 of LNCS:87--106, March 1996]]

Digital Library

[7]

J.Fidge. Timestamps in message passing systems that preserve the partial order ring. In Proc.11th Australian Computer Science Conference, pages 55--66, february 1988]]

[8]

FIPA. Foundation or intelligent physical agents. FIPA 97 Specification. Part 2, Agent Communication Language, http://www.pa.org, 1997]]

[9]

S. Haddad and D. Poitrenaud. Theoretical aspects of recursive Petri nets. In Proc. 20th International Conference on Applications and Theory of Petri nets, Williamsburg, A, USA, 1639 of Lecture Notes in Computer Science:228--147, 1999]]

Digital Library

[10]

K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, volume1. Springer-Verlag, Basic Concepts of Monographs in Theoretical Computer Science, 1992]]

Digital Library

[11]

K. Jensen. Design/cpn, version 4.0. http://www.daimi.au.dk/designCPN/, University of Aarhus, Denmark, 1999]]

[12]

K. Jensen and G. Rozenberg. High Level Petri Nets, Theory and Applications. Springer-Verlag, 1991]]

Digital Library

[13]

P. King and R. Pooley. Using UML to derive stochastic petri net models. In Proc. of the 5th UK Performance Engineering Workshop (UKPEW '99), pages 45--56, 1999]]

[14]

J. Koning, G. Francois,and Y. Demazeau. Formalization and pre-validation or interaction protocols in multi agent systems. In 13th European Conference on Artificial Intelligence, Brighton, 1998, 1998]]

[15]

J. Koning, M. P. Huget, J. Wei, and X. Wang. Extended modeling languages or interaction protocol design.In Proc. of Agent-Oriented Software Engineering (AOSE '2001), Montreal, Canada, pages 93--100, 2001]]

Digital Library

[16]

KQML.Specification of the kqml agent-communication language. Technical report, DARPA Knowledge Sharing Initiative External Interfaces Working Group, http://www.cs.umbc.edu/agents/kse/kqml/, 1993]]

[17]

K. McMillan. On-the-fly verification with stubborn sets. In Proc. of Computer Aided verification, Springer Verlag, Montreal, 663 of LNCS:164--175, June 1992]]

Digital Library

[18]

M. Niellsen, G. Plotkin, and G. Winskel. Petri nets, event structures and domains. Theoretical Computer Science,13(1):85--108, 1980]]

[19]

J. Odell, H. V. D. Parunak, and B. Bauer. Extending UML or agents. In Proc. of Agent-Oriented Information Systems (AOIS) Workshop at AAAI, 2000]]

[20]

J. Odell, H. V. D. Parunak, and B. Bauer. Representing agent interaction protocols in UML. In Proc.of the 1st International Workshop on Agent Oriented Software Engineering (AOSE), Paolo Ciancarini and Michael Wooldridge eds., Berlin, pages 121--140, 2001]]

Digital Library

[21]

V. Parunak. Visualizing agent conversations: Using enhanced Dooley graphs or agent design and analysis. In Proc. of International Conference on Multi Agent Systems (ICMAS '96), AAAI press., pages 275--282, 1996]]

[22]

R. G. Pettit and H. Gomaa. Validation of dynamic behavior in UML using colored Petri nets. In Proc.of UML'2000, 2000]]

Cited By

Spanoudakis NAkasiadis CIatrakis GChalkiadakis G(2023)Engineering IoT-Based Open MAS for Large-Scale V2G/G2VSystems10.3390/systems1103015711:3(157)Online publication date: 19-Mar-2023
https://doi.org/10.3390/systems11030157
Christie SChopra ASingh MPelachaud CTaylor MFaliszewski PMascardi V(2022)Pippi: Practical Protocol InstantiationProceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems10.5555/3535850.3535883(281-289)Online publication date: 9-May-2022
https://dl.acm.org/doi/10.5555/3535850.3535883
Spanoudakis N(2021)Engineering Multi-agent Systems with StatechartsSN Computer Science10.1007/s42979-021-00706-52:4Online publication date: 3-Jun-2021
https://doi.org/10.1007/s42979-021-00706-5
Show More Cited By

Index Terms

Open protocol design for complex interactions in multi-agent systems

Recommendations

Generating Maude formal specifications from AUML diagrams
Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004

In this paper, we present a formal and systematic approach allowing translating the specification of the interactions between agents, described using AUML formalism, in a Maude specification. Based on rewriting logic, the formal and object-oriented ...
Formal semantics for AUML agent interaction protocol diagrams
AOSE'04: Proceedings of the 5th international conference on Agent-Oriented Software Engineering

In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the usage of net components which provide basic tasks and the structure for Petri nets. ...
Defining syntax and providing tool support for Agent UML using a textual notation

An important role in software engineering is played by design notations. The Agent UML (AUML) notation for sequence diagrams has been widely used to capture the design of interactions between agents. However, AUML is not precisely defined, and there is ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2

July 2002

508 pages

ISBN:1581134800

DOI:10.1145/544862

Conference Chairs:
Maria Gini
University of Minnesota, USA
,
Toru Ishida
Kyoto University, Japan
,
Program Chairs:
Cristiano Castelfranchi
CNR and Università di Siena, Italy
,
W. Lewis Johnson
University of Southern California, USA

Copyright © 2002 ACM.

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]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 July 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

AAMAS02

Sponsor:

AAMAS02: The First International Joint Conference on Autonomous Agents and Multi-Agent Systems ( formerly known as Autonomous Agents )

July 15 - 19, 2002

Bologna, Italy

Acceptance Rates

Overall Acceptance Rate 1,155 of 5,036 submissions, 23%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

66
Total Citations
View Citations
1,104
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)1

Reflects downloads up to 04 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Spanoudakis NAkasiadis CIatrakis GChalkiadakis G(2023)Engineering IoT-Based Open MAS for Large-Scale V2G/G2VSystems10.3390/systems1103015711:3(157)Online publication date: 19-Mar-2023
https://doi.org/10.3390/systems11030157
Christie SChopra ASingh MPelachaud CTaylor MFaliszewski PMascardi V(2022)Pippi: Practical Protocol InstantiationProceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems10.5555/3535850.3535883(281-289)Online publication date: 9-May-2022
https://dl.acm.org/doi/10.5555/3535850.3535883
Spanoudakis N(2021)Engineering Multi-agent Systems with StatechartsSN Computer Science10.1007/s42979-021-00706-52:4Online publication date: 3-Jun-2021
https://doi.org/10.1007/s42979-021-00706-5
Christie SChopra ASingh MEl Fallah Seghrouchni ASukthankar GAn BYorke-Smith N(2020)Refinement for Multiagent ProtocolsProceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems10.5555/3398761.3398796(258-266)Online publication date: 5-May-2020
https://dl.acm.org/doi/10.5555/3398761.3398796
Boucherit ACastro LKhababa AHasan O(2020)Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systemsMultiagent and Grid Systems10.3233/MGS-20032016:1(47-66)Online publication date: 9-Apr-2020
https://doi.org/10.3233/MGS-200320
Park SMihret BBae D(2019)A simulation-based behavior analysis for MCI response system of systemsProceedings of the 7th International Workshop on Software Engineering for Systems-of-Systems and 13th Workshop on Distributed Software Development, Software Ecosystems and Systems-of-Systems10.1109/SESoS/WDES.2019.00009(2-9)Online publication date: 28-May-2019
https://dl.acm.org/doi/10.1109/SESoS/WDES.2019.00009
Winikoff MYadav NPadgham L(2018)A new Hierarchical Agent Protocol NotationAutonomous Agents and Multi-Agent Systems10.1007/s10458-017-9373-932:1(59-133)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.1007/s10458-017-9373-9
Testerink BBex F(2017)Specifications for Peer-to-Peer Argumentation DialoguesPRIMA 2017: Principles and Practice of Multi-Agent Systems10.1007/978-3-319-69131-2_14(227-244)Online publication date: 5-Oct-2017
https://doi.org/10.1007/978-3-319-69131-2_14
Kouah SSaïdouni DKitouni I(2016)Open Fuzzy Synchronized Petri NetInternational Journal of Intelligent Information Technologies10.4018/IJIIT.201601010412:1(63-94)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.4018/IJIIT.2016010104
Kristensen B(2016)Application Framework with Abstractions for Protocol and Agent RoleEngineering Multi-Agent Systems10.1007/978-3-319-50983-9_6(99-116)Online publication date: 16-Dec-2016
https://doi.org/10.1007/978-3-319-50983-9_6
Show More Cited By

View Options

Get Access

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents