SOC

1. SOC Systèmes à Objets Coopératifs Responsable : C. Sibertin-Blanc

2. Composition de l’équipe 5 Enseignants Chercheurs, Université Tlse 1 - Sciences Sociales Frédéric Amblard, MdC, 04  Eric Andonoff, MdC, 03  Janette Cardoso, MdC Chihab Hanachi, MdC Habilité Christophe Sibertin-Blanc, Pr Pierre Jean Charrel,  03 Pr 5 Doctorants Lotfi Bouzguenda Matthias Mailliard (allocataire) Emilie Marquois (CIFRE France Télécom) Eliane Pozzebon (cotutelle Brésil) Omar Tahir

3. Syst d’Info Coopératifs Protocoles SMA Systèmes Sociaux Dynamique UML RP temporel Réseaux de Petri SMA Coordination explicite Coordination implicite Problématique :la coordination dans les systèmes coopératifs Coordination

4. Axes de recherche et résultats (1 / 4) • Réseaux de Petri Temporels Problème : les contraintes temporelles dans les systèmes concurrents.  GraphC : calcule les séquences effectivement franchissables dans le graphe d'état, avec leurs contraintes temporelles. • Modèles de la dynamique d'UML Problème : déficit de sémantique des diagrammes de la dynamique.  sémantiques opérationnelles des diagrammes de séquence  diagrammes d’interaction ---> diagrammes de comportement  réalisabilité d’un ensemble de diagrammes de séquences • 1 thèse en cours d’achèvement.

5. QUOI Information Comment Coordination QUI Organisation Axes de recherche et résultats (2 / 4) • Systèmes d’Information Coopératifs • Acquisition Coopérative d’Information, • Systèmes Tuteurs Intelligents, • Workflow inter-organisationnel. • Problèmes : • Univers ouverts, distribués, hétérogènes, • Autonomie locale vs Cohérence globale, • Organisation sociale.  Modèle conceptuel multi-points de vue, multi-formalismes,  Transformation de modèles,  Ingénierie : Spécification, Validation, Architecture. 1 thèse soutenue, 2 en cours.

6. Axes de recherche et résultats (3 / 4) • Les protocoles d’interaction dans les SMA • Problèmes : • protocoles complexes, ouvert, concurrent, • garantir le respect des règles des protocoles, • ingénierie : sécurité, réutilisation, passage à l’échelle, ...  Méta-modèle des protocoles.  Modélisation des règles comportementales par RP.  Architecture à base de composants.

7. Axes de recherche et résultats (4 / 4) • Modélisation et simulation des Systèmes Sociaux • Thème 1 : Formalisation de la Sociologie de l’Action Organisée  méta-modèle de la SAO  modèle de la rationalité limitée, à base de classeurs  SocLab, environnement de simulation • 1 thèse en cours • Thème 2 : La constitution des réseaux sociaux par l'intermédiaire des TIC  Modéle de la dynamique des communautés virtuelles  Analyse de la correspondance entre échanges de courriels et structure organisationnelle • 1 thèse en cours

8. Publications Revues Internationales : 3 Chapitres d’ouvrages : 1 Conférences Internationales : 26 Conférences Nationales : 15 Thèse : 1 Habilitation : 1 Contrats

9. Coopérations

10. Gestion et animation de la recherche • Plus de 30 participations à des Comités de programme ou relecture dont :SAC, IEEE SMC, CEEMAS, IAT, ESAW, FLAIRS, Artificial Economics • Animation de l’association européenne de simulation sociale (ESSA). • Rédaction de la lettre d’information hebdomadaire sur la modélisation des réseaux et de leur dynamique (Dynnet).

11. Syst d’Info Coopératifs Protocoles SMA Dynamique UML Systèmes Sociaux Dynamique UML RP déontique RP temporel Réseaux de Petri SMA Coordination explicite Coordination implicite Coordination Perspectives - Problématique

12. Syst d’Info Coopératifs RP déontique RP temporel Réseaux de Petri SMA Coordination explicite Perspectives - résultats visés (1 / 2) • Réseaux de Petri temporels  Étendre GraphC au cas • flou, et application au Workflow • Réseaux de Petri déontiques  définition  techniques de vérification • SIC : Systèmes de WorkFlow  négociation de contrats (Web Services)  aspects temporels et déontiques de la Qualité de Service  adaptation dynamique

13. Protocoles SMA Coordination explicite Perspectives - résultats visés (2 / 2) Systèmes Sociaux • SMA  implantation de l’architecture  définition d’un modèle d’organisation fondé sur les protocoles  ontologie des protocoles • Systèmes sociaux  approfondissement de la SAO  modèle de la constitution de réseaux sociaux à travers les TIC  méthodes et outils génériques pour la simulation multi-agents. Réseaux de Petri SMA Coordination implicite

14. Conclusion • Approche des questions relatives à la coordination de façon formelle, dans des domaines applicatifs. • Développer des interactions, • avec les équipes de l’IRIT, notamment celles du thèmes 7 • pluri-disciplinaires, à l’université de Sciences Sociales, • industrielles. • Articuler coordinations explicite et implicite