Application de l'ingénierie dirigée par les modèles dans le domaine des systèmes multi-agents : un langage pour décrire les comportements des agents réactifs

Des nombreux utilisateurs des systemes multi-agents (SMA) sont tres souvent decourages de modeliser et simuler dans les plates-formes actuelles SMA. Plus precisement, modeliser la dynamique d'un systeme (en particulier les comportements de l'agent) est tres souvent vu comme un defi pour les utilisateurs de SMA. Dans le domaine des systemes socio-ecologiques (SES), cet inconvenient est plus souvent observe une fois que les experts de domaine en SES sont rarement des programmeurs. De plus, la majorite des plateformes SMA n'a pas ete concue en prenant en considerant le fait que les experts de domaines ne sont pas des programmeurs. On constate que la majeure partie des outils MAS ne sont pas dedies a SES, ou qu'ils ne possedent pas un formalisme comprehensible pour representer les comportements de SMA. En outre, comme ces outils sont dependant des plateformes, un modele realise dans une plateforme SMA ne peut pas etre correctement utilise dans une autre plate-forme en raison de l'incompatibilite entre ces plateformes SMA. Afin de surpasser ces limitations, nous proposons un langage dedie au domaine SES pour decrire les comportements des agents reactifs, quelle que soit la plate-forme utilisee pour la simulation des SMA. Pour ce faire, nous avons applique l’approche de l’ingenierie dirigee par les modeles (IDM), une approche qui fournit des outils pour developper des langages dedies a partir d'un meta-modele (syntaxe abstraite), des editeurs textuels avec coloration syntaxique (pour la syntaxe concrete) et des outils des generateurs de code (pour la generation de source code a partir d'un modele). En consequence, nous avons mis en œuvre un langage et un editeur de texte qui permet a des experts du domaine SES de decrire les comportements de trois manieres differentes qui sont fermees a leur expression naturelle : sous forme d'equations quand ils sont familiers avec celles-ci, en tant que sequence d'activites proche du langage naturel ou comme un diagramme d'activite pour representer les decisions et une sequence de comportements en utilisant un formalisme graphique. Pour montrer la generalite, nous avons egalement developpe des generateurs de code ciblant deux plates-formes differentes SMA (Cormas et Netlogo). Nous avons teste les generateurs de code en mettant en œuvre deux modeles SES avec le langage dedie developpe. Le code genere obtenu a ete genere pour les deux plates-formes SMA Cormas et NetLogo, et simule avec succes dans un des deux plateformes. Nous avons conclu que l'approche IDM fournit des outils adequats a developper des langages dedies et des generateurs de code pour faciliter la modelisation et la simulation SMA par des non-programmeurs. En ce qui concerne le langage developpe, bien que l’aspect comportemental de la simulation MAS fasse partie de la complexite de la modelisation en SMA, il y a encore d'autres aspects essentiels du modele et de la simulation de SMA qui sont encore a etre explores, tels que l'initialisation et les points de vue sur un le monde simule d’un modele.