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. |