Le site du Collége SMA

Equipe SMA
SeT, Belfort

Le site du laboratoire

Equipe SMA
SeT, Belfort

Recherche :
Nous sommes interessés par les méthodologies pour l'ingénierie de Systemes Multi-Agents. Pour cela nous utilisons une approche organisationelle (RIO) pour décomposer un SMA en rôles, interactions et organisations. Une telle décomposition exprimée dans un langage graphique semi-formel est formalisée a l'aide d'un framework de classe utilisant les langages Object-Z et statecharts. La composition de ces formalismes nous permet une grande richesse d'expression (aspects réactifs et fonctionnels). L'utilisation d'un langage multi-formalisme nous permet egalement de décrire formellement une spécification de SMA. Nous développons également des méthodes de prototypage et de vérification de nos spécifications. Le prototypage est basé sur l'exécution/animation des statecharts. La vérification est faite grâce à notre définition operationnelle de la sémantique du langage multi-formalismes. Cette sémantique exprimée avec des systèmes de transitions et certains outils logiciels autorisent le model checking, la preuve automatique ou semi-automatique de theorèmes. Nous gardons également des liens forts avec les plates-formes d'implémentation.

Mots clefs : Systèmes Multi-Agents Genie Logiciel, Methode formelle, Methodologie organisationelle

Responsable : Abder Koukam

Chercheurs / Members :
Adresse : SeT, UTBM 90010 - Belfort Cedex
Téléphone : +33 3 84 58 30 81
Site Web : www.utbm.fr/RECHERCHE_SCIENTIFIQUE