Un Modèle Organisationnel Pour La Conception Des Systèmes Multi-agents Temps Réel

Résumé: Actuellement, l'ingénierie orientée agent est un domaine de recherche très actif. Depuis de nombreuses années, les concepteurs de Système Multi-Agents (SMA) ont des méthodologies de développement et des langages de modélisation qui ne reflètent pas les différentes contraintes temporelles qu’un Système Multi-Agents Temps Réel (SMATR) peut avoir. En effet, il n'est pas facile de conceptualiser les concepts SMATR en utilisant des approches d'ingénierie logicielle conventionnelles. Par conséquent, un problème de recherche critique pour la communauté des agents temps réel est celui de la définition d'un modèle organisationnel approprié pour l'analyse et la conception de leurs propriétés principales. Les progrès dans ce domaine ont été lents mais généralement stables. La plupart des propositions considèrent une organisation comme une entité qui a un but concret ou un objectif global sans prendre en compte les restrictions temporelles des agents temps réel du système. Elles utilisent un ensemble de concepts organisationnels, comme rôles, normes, groupes, interactions, etc. pour contrôler et modifier les comportements des agents par rapport à l'objectif global de l'organisation. À notre avis, cette vision de l'organisation est incomplète. Nous proposons de les étendre pour tenir compte des contraintes temporelles en étendant les diagrammes Agent UML (AUML) [Lao13]. En particulier, nous croyons que le concept de restriction temporelle qu’un agent temps réel doit respecter au cours de son cycle de vie est très important pour être inclus dans l'organisation. Notre approche illustre bien la représentation des concepts organisationnels conjointement avec les restrictions temporelles des agents comme la base de la modélisation du SMATR, proposant ainsi un nouveau modèle organisationnel pour spécifier les SMATR. Elle permet de représenter les aspects fonctionnels, statiques et dynamiques du système suivant la perspective organisationnelle. Cependant, formaliser les aspects organisationnels de SMATR est, à notre avis, un moyen important pour les activités d'analyse et de conception. De plus, la conception de SMATR nécessite l'implication de langages formels. Parmi ces langages: Real Time Maude (RT-Maude) [Olv07] est un bon candidat pour la spécification de SMATR car il est très puissant en termes de spécification, de validation et de vérification formel des systèmes concurrents orientés objet. Sachant qu’il n'y a pas de travail qui appliquer RT-Maude aux spécifications organisationnelles formelles de SMATR. En effet, le framework organisationnel formel obtenu représente une extension récente qui combine les diagrammes AUML étendus [Lao13], avec la spécification RT-Maude [Lao14] pour supporter la spécification formelle de SMATR organisationnel. Dans ce framework, les points forts des deux approches sont unifiés mais il manque encore plus de détails organisationnels à prendre en considération. Pour palier à cela nous avons appliqué notre approche basée sur la logique de réécriture pour prototyper les modèles Agent-Groupe-Rôle (AGR) [Fer03a] et Model of Organization for multI-agent SystEms (Moise+) [Hub02a] de SMA centré organisation afin de pouvoir raisonner, d'une part, sur le modèle organisationnel et d'autre part sur sa sémantique générale. Toutefois, nous avons étudié la possibilité d'inclure une dimension temporelle pour traiter les problèmes de contraintes temporelles dans le modèle Moise+ afin de spécifier le modèle concret du SMATR en utilisant le langage RT-Maude ce qui nous a permit d’avoir d’un coté un modèle organisationnel facilitant la conception des SMATR et de l’autre coté un framework de spécification formelle offrant un meilleur support à leurs processus de vérification. Pour la validation de ce travail nous avons appliqué le processus de translation pour simuler les spécifications formelles avec des scénarios d'interaction prédéfinis, dans notre cas on a choisi deux exemples l’un portant sur la gestion de chaine logistique et l’autre concernant la gestion de conférence.

Publié dans la revue: