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 : n Luciana Bolan Frigo, Cotutelle Brésil n Eliane Pozzebon, Cotutelle Brésil n Emilie Marquois, bourse Cifre France Télécom n Omar Tahir n Lotfi Bouzguenda n Matthias Mailliard

2 SOC : Systèmes à Objets CoOpératifs Problématique : La coordination dans les Systèmes Coopératifs n Coordination explicitée par des règles qui définissent ce que doit faire chaque composant : UML, Système d’information, SMA n Coordination implicite, par l’intermédiaire de ressources qui sont dans l’environnement des composants : les Systèmes sociaux

3 Les Systèmes Sociaux La simulation n Systèmes complexes, avec lesquels on ne peut pas expérimenter on utilise la simulation pour : - comprendre ce qui se passe, élaborer une théorie, un modèle explicatif - prévoir, évaluer, mesurer n Simulation individu centrée, selon l’approche SMA : chaque individu est doté d’un certain comportement, le comportement du système est la résultante de leurs interactions n Domaines d’application : - Sociologie de l’action organisée - les réseaux sociaux - la radicalisation des attitudes n Pb méthodologiques, ingénierie de la simulation

4 Systèmes Sociaux  Contexte théorique des systèmes complexes  Formalisation d’une 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 Domaines d’application : Sociologie de l’Action Organisée l’Analyse Stratégique

5 Systèmes Sociaux domaine d’application : les réseaux sociaux n Représentation des relations entre individus sous forme de graphes n Étude de la structure du graphe, de ses propriétés –densité des liens, centralité des individus n Modèles de dynamiques sur des graphes –Dynamiques d’opinions sur des réseaux sociaux (Physica A) n Modèles de dynamiques de graphes –Analyse des mails –Recouvrement entre structure formelle de l’organisation et structure des échanges de mails –Recherche de patterns d’interactions  Thèse de Emilie Marquois

6 Systèmes Sociaux domaine d’application : la radicalisation des attitudes n Domaine : psychologie des foules n Modèle de dynamique d’attitudes multiples dans une population –Proposition de règles d’interactions 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 n Influence d’un méta-agent (Chirac – Balkenende) dans le cadre du référendum (Agents 2005) Attitude 1Attitude 2Diagramme des phases

7 Systèmes Sociaux Outils et méthodologie n Approche expérimentale de la simulation individus-centrée (laboratoire virtuel) n Points difficiles –Identification/caractérisation de régularités –Identification des conditions de leurs apparitions Exploration de l’espace 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 n 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 UML (JC, CSB, Omar) Systèmes d’Infor- mation Coopératifs (CH, EA, Lotfi, JC, Eliane, Luciana) Protocoles dans les SMA (CH, CSB) Réseaux de Petri + structure des données XX RP + Struct de données + organisation XX RP Temporels Perspective RP déontiques XX

9 Les réseaux de Petri temporel Système réel : - séquence d'actions - contraintes temporelles 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 - {aller à la réunion A [40',1:20']; aller à la réunion B [2,3] OU - préparer cours [1,1:50] ; le donner [1:30,1:40]} - participer à la réunion de l'UFR [1:30,1:30] - déjeuner [90,90] [40,80] [60,110] [90,100] [120,180]

10 Les réseaux de Petri temporel Graphe de classes : Etat = marquage + intervalle de temps R1 : A+B = [2,4:20']. En commençant à 9h : OUI Mais, il est sur? Non… R2 : À 10:30 -> en train de préparer le cours ou de le finir, OU dans la réunion A. Réponses 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

11 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 ? O1O3O2 1: m1 3: m3 2: m2 UML

12 Sémantique des diagrammes de la dynamique informal Scenarios ABC mes2 mes1 mes3 mes4 formal Scenarios composi tion Rétro-ingénierie Behavior of objects Global behavior of the system AB mes2 mes1 mes3 mes4 C Sémantics composi tion UML