Open protocol design for complex interactions in multi-agent systems

Proceedings of the International Conference on Autonomous Agents

Volumn , Issue 1, 2002, Pages 517-526

  Mazouzi, Hamza ^a   El Fallah, Amal ^a   Haddad, Serge ^a  

^a Centre National de la Recherche Scientifique   (France)

Author keywords

AUML; Colored Petri Nets; Distributed observation; Formal specification; Protocol diagrams; True concurrency; Validation

Indexed keywords

ARTIFICIAL INTELLIGENCE; NETWORK PROTOCOLS; PATTERN RECOGNITION; PETRI NETS; SEMANTICS; SOFTWARE ENGINEERING;

AGENT UNIFIED MODELING LANGUAGE (AUML);

MULTI AGENT SYSTEMS;

EID: 0036355529     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/544865.544866     Document Type: Conference Paper

References (22)

1. Modeling agent conversations with colored Petri nets
2. Interaction protocols in Agentis
3. A recursive model for distributed planning
4. A formal study of interactions in multi-agent systems
5. Protocol engineering for multi-agent interaction
6. An improvement of mcmillan's unfolding algorithm
7. Timestamps in message passing systems that preserve the partial order ring
8. Theoretical aspects of recursive petri nets
9. Basic concepts of monographs in theoretical computer science
10. Using UML to derive stochastic petri net models
11. Formalization and pre-validation for interaction protocols in multi agent systems
12. Extended modeling languages for interaction protocol design
13. On-the-fly verification with stubborn sets
14. Petri nets, event structures and domains
15. Extending UML for agents
16. Representing agent interaction protocols in UML
17. Visualizing agent conversations: Using enhanced Dooley graphs for agent design and analysis
18. Validation of dynamic behavior in UML using colored Petri nets