Vers une approche de specification, de prototypage et de verification de systemes multi-agents

par Vincent Hilaire

Thèse de doctorat en Sciences et techniques

Sous la direction de Mohamed Naimi.

Soutenue en 2000

à Besançon .


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Le travail presente dans cette these s'inscrit dans le cadre d'une demarche methodique pour la construction de specifications formelles de systemes multi-agents. L'idee de base est de definir de tels systemes comme un ensemble d'entites mettant en oeuvre des comportements generiques, des roles, entre lesquels des interactions sont specifiees. Ces roles et ces interactions sont structures en unites appelees organisations. Pour concevoir les specifications deduites de cette demarche, un langage d'expression d'objets actifs et reactifs est propose. Ce langage est base sur l'utilisation de deux formalismes, object-z et statecharts. La composition de ces formalismes fait l'objet d'une etude et se decompose en un ensemble de regles qui autorise leur integration syntaxique et semantique. Ce langage multi-formalisme est caracterise par : un pouvoir d'expression suffisant pour specifier les differents aspects des sma, des outils pour analyser une specification et la possibilite de raffinements pour aboutir a une specification proche d'une implementation. Notre demarche de specification de systemes multi-agents s'inscrit dans un processus de prototypage et de verification. Le prototypage realise grace a l'animation des statecharts permet de valider la specification par rapport au comportement attendu du systeme. La verification est rendu possible par l'expression de la semantique du langage multi-formalismes avec des systemes de transitions et a l'utilisation de ces systemes de transitions par des logiciels adequats. La specification d'un systeme multi-agents est base sur un framework exprime avec le langage multi-formalisme qui formalise les concepts de role, interaction et organisation. Nous concretisons cette etude par la specification de deux systemes multi-agents sur lesquelles nous mettons en oeuvre le prototypage et la verification.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 223 p.
  • Annexes : 125 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque universitaire Sciences - Sport (Besançon).
  • Disponible pour le PEB
  • Bibliothèque : Université de technologie de Belfort-Montbéliard. Bibliothèque.
  • Disponible pour le PEB
  • Cote : THESE 00 HIL
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.