Résumé HDR Juan Pavón


INGENIAS est un cadre de développement dirigé par modèles des SMA. INGENIAS part du fait que le paradigme agents apporte des éléments de modélisation pour la conception des systèmes complexes qui vont plus loin que d'autres paradigmes, comme les objets. La modélisation avec des agents permet d'approcher les concepts du domaine d'application plus facilement. Par exemple, avec un SMA il est possible de simuler une organisation humaine et les processus qui s'exécutent régulièrement. Des agents peuvent aussi modéliser des entités autonomes avec un comportement rationnel, basé sur des buts, des croyances, et ont une capacité pour établir des plans d'action. Mais à  part la modélisation, il faut considérer la réalisation finale des systèmes, qui peut être sur différentes plates-formes, non seulement orientées agents, mais aussi objets ou composants (J2EE ou .NET, par exemple). Pour cela nous avons développé un ensemble d'outils qui permettent la transformation des spécifications (modèles) des SMA en code pour les plates-formes finales. Ainsi, INGENIAS promeut un développement dirigé par modèles, dont l'implémentation est dérivé automatiquement par des transformations.
Ce dossier présente le contexte et les principaux résultats de la méthodologie INGENIAS. Le chapitre 1 fait une révision de différentes approches pour le développement des SMA, pour identifier la problématique et montrer nos contributions dans le domaine. Les éléments de base de INGENIAS pour le développement dirigé par modèles sont décrits dans les chapitres suivants. La base de INGENIAS est la définition de méta-modèles, structurés en plusieurs aspects, qui décrivent les éléments qui permettent de spécifier des SMA (chapitre 2). Les outils, le INGENIAS Development Kit (IDK), sont générés à  partir de ces méta-modèles. Le chapitre 3 décrit comment les outils ont été construits pour permettre l'édition des spécifications des SMA et la génération de code sur plusieurs plates-formes. Ces outils ont permis d'élaborer un processus de développement qui considère la définition des transformations et la génération de code, INGENIAS-MDD (chapitre 4). Ce cadre nous a permis de réaliser d'autres contributions dans le domaine des SMA, qui sont décrits dans différentes publications. Le chapitre 5 décrit quelques uns de ces travaux, en cours de réalisation, comme l'application de INGENIAS pour la simulation des systèmes sociaux et la vérification des propriétés sociales dans les SMA, ou la définition de métriques pour le développement de logiciel orienté agents.