Un mod

1
Un modèle de spécification exécutable de
protocoles d'interaction pour les systèmes
multi-agents ouverts

• Yann Secq (secq_at_lifl.fr)

Equipe Systèmes Multi-Agents et
Coopération Laboratoire dInformatique
Fondamentale de Lille Université des Sciences et
Technologies de Lille
2
Problématique
Problématique
Approche
Protocoles
Mise en oeuvre
Applications

• Contexte les systèmes multi-agents
• Hétérogénéité des modèles
• Diversité des implémentations
• Du rôle central de la notion dinteraction
• Problèmes dinteropérabilité

3
Une approche pragmatique
Problématique
Approche
Protocoles
Mise en oeuvre
Applications

• Formaliser les conversations
• Programmation orientée interaction Singh
• Lois sociales Shoham, normes Dignum
• Notion de protocole dinteraction
• Rôle de(s) (l)organisation(s)

4
Une ingénierie des protocoles dinteraction
Problématique
Approche
Protocoles
Mise en oeuvre
Applications

• Donner au concepteur une vue globale
• Formalisation dune conversation multi-partites
  
• des intervenants,
• des messages échangés
• des compétences nécessaires,
• description du flux de la conversation.
• Définition dune  spécification exécutable de
  protocole dinteraction

5
Une ingénierie des proto-coles dinteraction
Problématique
Approche
Protocoles
Mise en oeuvre
Applications
6
Une ingénierie des proto-coles dinteraction
Problématique
Approche
Protocoles
Mise en oeuvre
Applications
ltinteractiongt ltprotocol name"FIPA Contract
Net"gt ltmicrorolesgt ltmicrorole
name"Initiator" occurence"1"/gt ltmicrorole
name"Participant" occurence""/gt
lt/microrolesgt ltskillinterfacesgt
ltskillinterface name"bid" node"2"
uri"http//localhost/secq/interfaces/contractNet
/bid.sixml"/gt ltskillinterface name"choose"
node"4" uri"http//localhost/secq/interfaces/co
ntractNet/choose.sixml"/gt ltskillinterface
name"do" node"6" uri"http//localhost/secq/int
erfaces/contractNet/do.sixml"/gt
lt/skillinterfacesgt ltnetgt ltnodesgt
ltnode microrole"Initiator" initial"1"
ids"1,3,4,7,8"/gt ltnode
microrole"Participant" ids"2,5,6"/gt
lt/nodesgt ltarcs validator"org.g.message.vali
dators.XPath"gt ltarc from"1" to"2"
message"/cfp"/gt ltarc from"2" to"3"
message"/refuse"/gt ltarc from"2" to"3"
message"/not_understood"/gt ltarc from"2" to"4"
message"/propose"/gt ltarc from"4" to"5"
message"/reject"/gt ltarc from"4" to"6"
message"/accept"/gt ltarc from"6" to"7"
message"/failure"/gt ltarc from"6" to"8"
message"/inform_done"/gt ltarc from"6"
to"8" message"/inform_ref"/gt lt/arcsgt
lt/netgt lt/protocolgt lt/interactiongt
7
Une ingénierie des proto-coles dinteraction
Problématique
Approche
Protocoles
Mise en oeuvre
Applications
8
Mise en oeuvre
Problématique
Approche
Protocoles
Mise en oeuvre
Applications

• Modèle minimal générique dagent
• Notion de compétence
• Composant de gestion des protocoles dinteraction
• Composant de gestion organisationnelle
• Plateforme Jãneiro

9
Domaines dapplications
Problématique
Approche
Protocoles
Mise en oeuvre
Applications

• Systèmes dinformation
• Systèmes de workflow
• Supply Chain Management
• Systèmes collaboratifs
• Diapo-Conférence
• Systèmes de calculs distribués
• RAGE Reckoner AGEnts

10
Contacts équipe SMAC (LIFL/USTL)

• Systèmes Multi-Agents et Coopération
• Responsable Philippe.Mathieu_at_lifl.fr
• Thématiques
• Théorie des jeux,
• Modélisation du comportement,
• Plateformes et simulations,
• http//www.lifl.fr/SMAC