MARSALA

Contact : Fabrice.Kordon (at) nulllip6.fr
Du 30/11/1995 au 29/11/1997

Dans les systèmes multi-agents un axe majeur de recherche concerne la mise en oeuvre d’entités autonomes -les agents-, coopérants à la résolution d’une tâche. L’objectif de nos recherches est de renforcer trois aspects du cycle de vie du logiciel.: spécification, validation et exécution d'un système multi-agents. Le projet porte donc sur la définition de méthodes, techniques et outils assurant à terme les services suivants : º un formalisme de spécification adapté aux systèmes d’agents et muni des techniques d’analyse associées, º les mécanismes assurant la traduction de ce formalisme en réseaux de Petri colorés º l’application des techniques de prototypage aux langages acteurs. Le projet concerne l’analyse, la spécification, la validation, l’exécution et l’expérimentation de systèmes multi-agents. Il s’agit de réaliser l’intégration verticale de méthodes d’analyse et d’outils de conception pour spécifier des systèmes coopératifs modulaires utilisant un modèle conceptuel de type "agent", un modèle intermédiaire issu des réseaux de Petri, et une mise en oeuvre à l’aide d’un mécanisme d’exécution de type "acteur".

LAFORIA Equipe MIRIAD (J..Ferber), MASI Equipe MARS (P..Estraillier)

Fabrice KORDON