Nom Ecomata
Etat d'avancement En cours
Description Nous proposons une nouvelle approche qualitative pour la modélisation des écosystèmes basés sur le formalisme des automates temporisés (TA) associé à un langage de requête de haut niveau pour explorer les scénarios. EcoMata est une boîte à outils pour la modélisation et l\'exploration qualitative de réseaux trophiques alimentaires selon cette approche. À ce jour, elle est dédiée à des écosystèmes qui peuventt être modélisés comme un ensemble d\'espèces (systèmes proie-prédateur) sous diverses pressions humaines et à des perturbations environnementales. Cet outil est composé de deux parties principales : l\'éditeur de réseau et le lanceur de requêtes. L\'éditeur de réseau permet à un expert de décrire le réseau trophique de manière graphique (icônes des espèces et les interactions entre eux). Seuls quelques paramètres écologiques sont nécessaires et l\'utilisateur peut sauvegarder les espèces dans une bibliothèque. Le nombre de niveaux de biomasse qualitative peut être réglé comme désiré. Un algorithme efficace génère automatiquement le réseau d\'automates temporisés. EcoMata fournit également une fenêtre dédiée pour aider l\'utilisateur à définir les pressions de pêche différentes, de manière très agréable, en utilisant les chronogrammes. Dans le Lanceur de requêtes, l\'utilisateur sélectionne le type de requête et les paramètres nécessaires (par exemple les niveaux de biomasse des espèces pour définir une situation). Les résultats sont fournis dans un panneau de commande ou dans des fichiers qui peuvent être exploitées ultérieurement. Plusieurs autres fonctionnalités sont proposées dans EcoMata : la construction d\'une bibliothèque espèces, l\'import / export de modèle d\'écosystème, des lots de traitement des requêtes longues, etc. EcoMata est développé en Java (Swing pour l\'interface graphique) et en UPPAAL pour le model-checker vérifiant les propriétés temporelles.
Participants
  • Marie-Odile Cordier
  • Christine Largouët
  • Yulong Zhao


  • Ce site est maintenu par René Quiniou au moyen du système Weave
    développé au sein du projet Caravel : http://www-caravel.inria.fr.
    Dernière modification : 07-10-2011 09:54:25
    English version