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
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 dinteraction ---gt diagrammes de
  comportement
• ? réalisabilité dun ensemble de diagrammes de
  séquences
• 1 thèse en cours dachèvement.

5
Axes de recherche et résultats (2 / 4)

• Systèmes dInformation Coopératifs
• Acquisition Coopérative dInformation,
• 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 dinteraction 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
  lAction 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 douvrages
1 Conférences Internationales
26 Conférences Nationales 15 Thèse
1 Habilitation 1 Contrats
ACI lémergence des pays Etude par simulation agent de l'auto-organisation institutionnelle
AC Complexité en SHS Approche complexe de la sociologie de l'action organisée formalisation et simulation orientée des agents des systèmes d'action concrets
Convention CIFRE Modélisation et simulation de l'émergence de communautés virtuelles
Projet FéRIA Structure des interactions et comportement des composants d'un système
Projet FéRIA Les réseaux de Petri temporels flous étude de propriétés et application aux SMA
9
Coopérations
UT1 Sociologues du LEREPS
FERIA Fédération CNRS de Recherche en Informatique et Automatique Structure des interactions et comportement des composants dun système, 03/04 Les réseaux de Pétri temporels flous étude de propriétés et application aux SMA, 04/06
- GdR I3 groupes de travail VERSIM (Vers une théorie de la simulation) et Colline (Collectif-Interaction-Émergence), - GdR I3 et GdR MACS groupe de travail ECI (Entreprise Communicante et Interopérabilité)
Agentlink Europes Network of Excellence for Agent-Based Computing. Special Interest Groups Intelligent Information Agent, Agent Oriented Software Engineering
projet CMEP avec lUSTHB dAlger Coopération entre Sources dInformations Modélisation par les agents
CAPES-COFECUB avec Université Fédérale de Santa Catarina (Brésil) Interaction entre modèles formels pour les systèmes de supervision et les systèmes dinformation
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 lassociation européenne de
  simulation sociale (ESSA).
• Rédaction de la lettre dinformation hebdomadaire
  sur la modélisation des réseaux et de leur
  dynamique (Dynnet).

11
Perspectives - Problématique
12
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
Perspectives - résultats visés (2 / 2)
Systèmes Sociaux

• SMA
• ? implantation de larchitecture
• ? définition dun modèle dorganisation
• 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 lIRIT, notamment celles du
  thèmes 7
• pluri-disciplinaires, à luniversité de Sciences
  Sociales,
• industrielles.
• Articuler coordinations explicite et implicite