• xmlui.mirage2.page-structure.header.title
    • français
    • English
  • Help
  • Login
  • Language 
    • Français
    • English
View Item 
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
  •   BIRD Home
  • LAMSADE (UMR CNRS 7243)
  • LAMSADE : Publications
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesTypeThis CollectionBy Issue DateAuthorsTitlesType

My Account

LoginRegister

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors
Thumbnail - Request a copy

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érence
Date
2002
Conference title
First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'02)
Conference date
2002-07
Conference city
Bologne
Conference country
Italie
Book title
The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings
Publisher
ACM Press
Pages
517-526
Publication identifier
http://dx.doi.org/10.1145/544862.544866
Metadata
Show full item record
Author(s)
Mazouzi, Hamza
El Fallah Seghrouchni, Amal
Haddad, Serge
Abstract (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 Net

Related items

Showing items related by title and author.

  • Thumbnail
    Protocol engineering for multi-agent interaction 
    El Fallah Seghrouchni, Amal; Haddad, Serge; Mazouzi, Hamza (1999) Communication / Conférence
  • Thumbnail
    A Formal Study of Interactions in Multi-agent Systems 
    El Fallah Seghrouchni, Amal; Haddad, Serge; Mazouzi, Hamza (2001) Article accepté pour publication ou publié
  • Thumbnail
    A Formal Study of Interactions in Multi-Agent Systems 
    El Fallah Seghrouchni, Amal; Haddad, Serge; Mazouzi, Hamza (1999) Communication / Conférence
  • Thumbnail
    Etude des interactions basée sur l'observation répartie dans un système multi-agents 
    El Fallah Seghrouchni, Amal; Haddad, Serge; Mazouzi, Hamza (1998) Communication / Conférence
  • Thumbnail
    Interopérabilité des Systèmes Multi-Agents à l'aide des Services Web 
    El Fallah Seghrouchni, Amal; Haddad, Serge; Melliti, Tarak; Suna, Alexandru (2004-11) Communication / Conférence
Dauphine PSL Bibliothèque logo
Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16
Phone: 01 44 05 40 94
Contact
Dauphine PSL logoEQUIS logoCreative Commons logo