SOC : Systmes Objets CoOpratifs

1
SOC Systèmes à Objets CoOpératifs

• Présentation de léquipe

• Permanents
• F. Amblard, E. Andonoff, J. Cardoso, C. Hanachi,
  C. Sibertin-Blanc
• doctorants
• Luciana Bolan Frigo, Cotutelle Brésil
• Eliane Pozzebon, Cotutelle Brésil
• Emilie Marquois, bourse Cifre France Télécom
• Omar Tahir
• Lotfi Bouzguenda
• Matthias Mailliard

2
SOC Systèmes à Objets CoOpératifs

• Problématique
• La coordination dans les Systèmes Coopératifs

• Coordination explicitée par des règles qui
  définissent ce que doit faire chaque composant
• UML, Système dinformation, SMA
• Coordination implicite, par lintermédiaire de
  ressources qui sont dans lenvironnement des
  composants
• les Systèmes sociaux

3
Les Systèmes Sociaux

• La simulation

• Systèmes complexes, avec lesquels on ne peut pas
  expérimenteron utilise la simulation pour
• - comprendre ce qui se passe, élaborer une
  théorie, un modèle explicatif
• - prévoir, évaluer, mesurer
• Simulation individu centrée, selon lapproche SMA
  chaque individu est doté dun certain
  comportement, le comportement du système est la
  résultante de leurs interactions
• Domaines dapplication
• - Sociologie de laction organisée
• - les réseaux sociaux
• - la radicalisation des attitudes
• Pb méthodologiques, ingénierie de la simulation

4
Systèmes Sociaux
Domaines dapplication Sociologie de lAction
Organisée lAnalyse Stratégique

• Contexte théorique des systèmes complexes
• Formalisation dune théorie largement éprouvée,
• en lien avec des sociologues
• Développer un environnement de simulation qui
  soit utilisable comme laboratoire virtuel par les
  sociologues
• donner lieu à un nouveau modèle de coordination
  pour les SMA
• Thèse de Matthias Mailliard

5
Systèmes Sociaux domaine dapplication les
réseaux sociaux

• Représentation des relations entre individus sous
  forme de graphes
• Étude de la structure du graphe, de ses
  propriétés
• densité des liens, centralité des individus
• Modèles de dynamiques sur des graphes
• Dynamiques dopinions sur des réseaux sociaux
  (Physica A)
• Modèles de dynamiques de graphes
• Analyse des mails échangés _at_univ-tlse1.fr
• Recouvrement entre structure formelle de
  lorganisation et structure des échanges de mails
• Recherche de patterns dinteractions
• Thèse de Emilie Marquois

6
Systèmes Sociaux domaine dapplication la
radicalisation des attitudes

• Domaine psychologie des foules
• Modèle de dynamique dattitudes multiples dans
  une population
• Proposition de règles dinteractions simples pour
  tester différentes mises à jour possibles des
  attitudes retrouvées dans la littérature pour
  évaluer leur vraisemblance
• Mise à jour centrale vs. périphérique
• Influence dun méta-agent (Chirac Balkenende)
  dans le cadre du référendum (Agents 2005)

Attitude 1
Attitude 2
Diagramme des phases
7
Systèmes Sociaux Outils et méthodologie

• Approche expérimentale de la simulation
  individus-centrée (laboratoire virtuel)
• Points difficiles
• Identification/caractérisation de régularités
• Identification des conditions de leurs
  apparitions
• Exploration de lespace des paramètres
• Algorithme de discrétisation itérative à
  résolution variable
• Gestion des données expérimentales
• Masses de données hétérogènes
• Méthodologies incrémentales de construction /
  validation de collections de modèles

8
La coordination explicite

• formalismes de modélisation fondés sur les
  réseaux de Petri

9
Les réseaux de Petri temporel
60,110

• Modélisation par Réseaux de Petri
• structure de contrôle (actions causalité)
  ordre dans la connexion de places et transitions
• structure de données jeton objet
• contraintes temporelles intervalle de temps
  associé aux transitions

40,80
90,100
120,180
90,90
10
Les réseaux de Petri temporel
Q1 peut-on assister à la réunion UFR à 12h30 en
allant aux réunions A et B si l'on commence à 9h?
Q2 en commençant à 9h30, dans quel état je
pourrais être à 10h30?
Questions
Graphe de classes Etat marquage intervalle
de temps
Réponses
R1 AB 2,420'. En commençant à 9h
OUI Mais, il est sur? Non R2 À 1030 -gt en
train de préparer le cours ou de le finir, OU
dans la réunion A.
11
UML
Sémantique des diagrammes de la dynamique

• Problème Quelle sémantique opérationnelle pour
  ce Diag. de Séquence ?
• !m1 precede !m2 ?
• ?m1 precede ?m2 ?
• ?m1 precede !m2 ?

12
UML
Sémantique des diagrammes de la dynamique