Étude des effets des contaminants chimiques de l'environnement chez les bivalves : approche de toxicogénomique fonctionnelle

par Benoît Loup

Thèse de doctorat en Informatique

Sous la direction de Jean-Michel Danger.

Soutenue en 2008

à Le Havre .


  • Résumé

    Dans le domaine de l'intelligence artificielle distribuée, la branche des systèmes multiagents s'intéresse à la résolution des systèmes complexes par un ensemble d'agents mis en interaction. Tout comme pour la programmation orientée objet, la nécessité de garantir aussi bien l'intégrité du développement que le bon déroulement du programme est apparue comme un problème majeur. Cette thèse se positionne dans cette problématique. Après avoir présenté une analyse des différents moyens mis à la disposition de la communauté concernant la validation des systèmes multiagents, nous proposons une nouvelle approche. Notre approche est basée sur une validation ciblée des parties d'un système que nous nommons les propriétés. Ces propriétés forment le coeur de notre recherche et sont donc largement étudiées. Notamment, nous étudions et formalisons le concept, proposons un modèle et une manière d’extraire ces propriétés lors de la conception d'un système. D'autre part, nous montrons comment réifier ces propriétés afin de les rendre exploitables par des entités logicielles. Nous présentons aussi une architecture que nous avons développée et qui permet de valider un système évoluant sur une plate-forme distante lors de son exécution. La validation se base sur les propriétés réifiées exploitées par des agents vérificateurs dont le rôle est de mettre en évidence tout comportement déviant du système.

  • Titre traduit

    Study of the effects of environmental chemicals on bivalves : fonctionnal toxicogenomics approaches


  • Résumé

    Research in Distributed artificial intelligence, and more particulary on multiagent system are interested in the resolution of complex systems thanks to a set of interacting agents. As it is performed for softwares developed using the object paradigm, multiagent programming needs to validate and verify multiagent systems developed. This thesis discusses about a new approach for this issue. This approach deals with an online verification of properties of the system. These properties are central in our research and are widely studied. In particular, we study and formalize the concept, we propose a model and we show how to extract these properties when designing a system. Moreover, we show how to transform these properties in order for them to be used by software entities. We also present a multiagent architecture that we have developed and which will help validate a system during its execution. Relying on the properties identified during the design stage, the validator agents try to identify any deviant behavior of the system.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (XI-304 p.)
  • Annexes : Bibliogr. p. 119-126

Où se trouve cette thèse ?

  • Bibliothèque : Université du Havre. Service commun de la documentation. Bibliothèque centrale.
  • Disponible pour le PEB
  • Cote : STH 893
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.