Open Protocol Design for Complex Interactions in Multi-agent Systems
Mazouzi, Hamza; El Fallah Seghrouchni, Amal; Haddad, Serge (2002), Open Protocol Design for Complex Interactions in Multi-agent Systems, The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, ACM Press, p. 517-526. http://dx.doi.org/10.1145/544862.544866
Type
Communication / ConférenceDate
2002Conference title
First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'02)Conference date
2002-07Conference city
BologneConference country
ItalieBook title
The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, ProceedingsPublisher
ACM Press
Pages
517-526
Publication identifier
Metadata
Show full item recordAbstract (EN)
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 of 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.Subjects / Keywords
Coloured Petri NetRelated items
Showing items related by title and author.
-
El Fallah Seghrouchni, Amal; Haddad, Serge; Mazouzi, Hamza (1999) Communication / Conférence
-
El Fallah Seghrouchni, Amal; Haddad, Serge; Mazouzi, Hamza (2001) Article accepté pour publication ou publié
-
El Fallah Seghrouchni, Amal; Haddad, Serge; Mazouzi, Hamza (1999) Communication / Conférence
-
El Fallah Seghrouchni, Amal; Haddad, Serge; Mazouzi, Hamza (1998) Communication / Conférence
-
El Fallah Seghrouchni, Amal; Haddad, Serge; Melliti, Tarak; Suna, Alexandru (2004-11) Communication / Conférence