IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Uniformisation des mécanismes de conception de SMA.

Présentation au sujet: "IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Uniformisation des mécanismes de conception de SMA."— Transcription de la présentation:

1 IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Uniformisation des mécanismes de conception de SMA Jean-Dany Vally & Rémy Courdier Iremia, université de la Réunion [jdvally][courdier]@univ-reunion.fr

2 IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Cadre de travail Problématique Problématique Les SMA -> systèmes complexes -> nombreuses entités en interaction Difficulté de suivi et danalyse de lactivité du SMA Difficulté de suivi et danalyse de lactivité du SMA Supporter des services danalyse du SMA Supporter des services danalyse du SMA Offrir des services dinteraction avec le SMA (requêtes, actions) Offrir des services dinteraction avec le SMA (requêtes, actions) Retro-action du SMA sur lui-même Retro-action du SMA sur lui-même Proposition Proposition Intégration dès la phase de conception de langages de modélisation adaptés à lobservation et la manipulation. Intégration dès la phase de conception de langages de modélisation adaptés à lobservation et la manipulation. Recherche d'une proposition de méthodologie adaptée au cycle de vie complet dun SMA : conception, développement, test, mise au point et exploitation. Recherche d'une proposition de méthodologie adaptée au cycle de vie complet dun SMA : conception, développement, test, mise au point et exploitation. Démarche Démarche Choix de modèles supportant des propriétés formelles pour la définition dun formalisme uniforme de représentation et de manipulation de connaissances Choix de modèles supportant des propriétés formelles pour la définition dun formalisme uniforme de représentation et de manipulation de connaissances Sappuyer sur des outils existants capable doffrir une base pour la construction de notre proposition Sappuyer sur des outils existants capable doffrir une base pour la construction de notre proposition

3 IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Progression Objectifs Modèles & Langages Avantages Proposition dune méthode décrivant les différentes étapes du cycle de vie dun SMA. Agent Modeling Technique (AMT bases). - Offrir un cadre méthodologique pour lutilisation du modèle CGP-net - Extensible (phase exploitation) Spécifications des différentes entités dans un modèle théorique adapté. ACGP-net pour décrire les principales caractéristiques. - Niveau abstraction adapté - Modélisation uniforme - Modèle visuel et formel Support dimplémentation par extension doutils existants. Modèle hybride de base CG & CP-Nets. - Complémentarité dyn./stat. - Propriétés formelles - Forte communauté Cœur de la propositionExtensionsFondements (réutilisation)

4 IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Modèle statique et dynamique de base CG & CP-Nets. Lapproche Agent repose sur les mécanismes : de perception structurée de perception structurée Les outils Graphes Conceptuels (GC) [sowa, southey] permettent de représenter entités participant au SMA ainsi que les mécanismes de perception des agents. Les outils Graphes Conceptuels (GC) [sowa, southey] permettent de représenter entités participant au SMA ainsi que les mécanismes de perception des agents. Ils offrent des filtres sémantiques, permettant à un agent de percevoir le niveau dinformation quil est capable dinterpréter. Ils offrent des filtres sémantiques, permettant à un agent de percevoir le niveau dinformation quil est capable dinterpréter. de traitement/action de traitement/action Les outils des Réseaux de Pétri Colorés (CP-Nets) [jensen, kummer] permettent de traiter les perceptions (réalisation dune action). Les outils des Réseaux de Pétri Colorés (CP-Nets) [jensen, kummer] permettent de traiter les perceptions (réalisation dune action). Ils offrent intrinsèquement des mécanismes permettant de contrôler les changements détats au sein dun agent Ils offrent intrinsèquement des mécanismes permettant de contrôler les changements détats au sein dun agent

5 IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Schéma Couche GC & CP-Nets

6 IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Exemple GC & CP-Nets

7 IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion ACGP-net pour décrire les principales caractéristiques des SMA Principales entités Principales entités Système=Somme(Parties) ou Intégration(Parties) + Frontière Système=Somme(Parties) ou Intégration(Parties) + Frontière Environnement=Intégration(Parties) Environnement=Intégration(Parties) Agent=Intégration(Parties) Agent=Intégration(Parties) Les éléments constituant la frontière sont des connexions entre lentité et lenvironnement. Les éléments constituant la frontière sont des connexions entre lentité et lenvironnement. Le modèle ACGP-net supporte la proactivité: Le modèle ACGP-net supporte la proactivité: Les outils Graphes Conceptuels permettent de définir les manques. Les outils Graphes Conceptuels permettent de définir les manques. Les outils des Réseaux de Pétri Colorés permettent de réagir en réponse à ces manques (par les arcs de proactivité). Les outils des Réseaux de Pétri Colorés permettent de réagir en réponse à ces manques (par les arcs de proactivité). J.D. Vally and R. Courdier « Hybrid Model to Design Proactivity and Mas » wses 2002 J.D. Vally and R. Courdier « Hybrid Model to Design Proactivity and Mas » wses 2002

8 IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Schéma Couche Agent - Schéma Couche Agent - CGP-net

9 IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Exemple Couche Agent - Exemple Couche Agent - CGP-net

10 IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Exemple Couche Agent - Exemple Couche Agent - CGP-net

11 IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Lexploitation Lexploitation du système correspond à son interrogation et manipulation. Lexploitation du système correspond à son interrogation et manipulation. Elle sappuie sur une vision du système sous forme de bases de données. Elle sappuie sur une vision du système sous forme de bases de données. Les outils Graphes Conceptuels permettent d'extraire et de composer les nouvelles connaissances du système. Les outils Graphes Conceptuels permettent d'extraire et de composer les nouvelles connaissances du système. Les outils des Réseaux de Pétri Colorés permettent de faire évoluer et de sauvegarder différents états du système. Les outils des Réseaux de Pétri Colorés permettent de faire évoluer et de sauvegarder différents états du système. J.D. Vally and R. Courdier « GCP-Net to Model Multi-agents Systems » Icais 2002 J.D. Vally and R. Courdier « GCP-Net to Model Multi-agents Systems » Icais 2002

12 IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Exemple de requêtes

13 IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Implémentation dun prototype

14 IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Conclusions Apports conceptuels Apports conceptuels Spécification de propriétés agent (proactivité, indépendance,autonomie). Spécification de propriétés agent (proactivité, indépendance,autonomie). Spécification de propriétés du SMA (émergence). Spécification de propriétés du SMA (émergence). Spécification des mécanismes dexploitation (interrogation, manipulation (détection de collisions)). Spécification des mécanismes dexploitation (interrogation, manipulation (détection de collisions)). Perspectives Perspectives Spécification dune méthodologie supportant le modèle Spécification dune méthodologie supportant le modèle Etude des propriétés formelles des systèmes modélisés Etude des propriétés formelles des systèmes modélisés