EcoMata is a decision support software for fisheries management. It relies on a symbolic approach for modelling marine ecosystems, using timed automatas. UPPAAL model checker is used for timed properties checking.
Description
With Ecomata we propose a new qualitative approach for ecosystem modeling based on timed automata (TA) formalism combined to a high-level query language for exploring scenarios. EcoMata is a tool-box for modeling and exploring qualitatively trophic-food web using this approach. To date, it is dedicated to ecosystems that can be modeled as a collection of species (prey-predator systems) under various human pressures and subject to environmental disturbances. This tool is made of two main parts: the Network Editor and the Query Launcher.
- The Network Editor let a stakeholder describe the trophic food web in a graphical way (using species icons and adding interactions between them). Only few ecological parameters are required and users can save species in a library. The number of qualitative biomass levels is set as desired. An efficient algorithm automatically generates the network of timed automatas. EcoMata also provides a dedicated window to help the user to define different fishing pressures, using chronograms.
- In the Query Launcher, the user selects the kind of query and the needed parameters (for example the species biomass levels to define a situation). Results are provided in a control panel or in files.
Several additional features are proposed in EcoMata: building a species library, import/export of ecosystem model, batch processing for long queries, etc.
Software
EcoMata was developed in Java at AGROCAMPUS OUEST and is free for any purpose of use. It is distributed under the terms of the GNU General Public License. Click here to download Linux and Windows binaries or Mac OS binaries.
EcoMata requieres a Java virtual machine and UPPAAL model checker from Uppsala Aalborg university.
References
- Yulong Zhao, Modélisation qualitative des agro-écosystèmes et aide à leur gestion par utilisation d’outils de model-checking, PhD thesis, 2014.
- Christine Largouët, Marie-Odile Cordier, Yves-Marie Bozec, Yulong Zhao, Guy Fontenelle, Use Of Timed Automata And Model-Checking To Explore Scenarios On Ecosystem Models, Environmental Modelling and Software, 2011.
- Yulong Zhao, Christine Largouët, Marie-Odile Cordier, EcoMata : Un logiciel d’aide à la décision pour améliorer la gestion des écosystèmes, Ingénierie des Systèmes d’Information (ISI), 2011, 16 (3), pp. 85-111
- Yulong Zhao, Marie-Odile Cordier, Christine Largouet, Répondre aux questions “Que faire pour” par synthèse de contrôleur sur des automates temporisés – Application à la gestion de la pêche, Proceedings of RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle) (2012), Jan 2012, Lyon, France.
- Christine Largouët, Marie-Odile Cordier, Patrons de scénarios pour l’exploration qualitative d’un écosystème, Proceedings of RFIA 2010 (Reconnaissance des Formes et Intelligence Artificielle), 2010, Caen, France.
Contacts
Christine Largouët
Equipe-projet Dream IRISA/INRIA
Campus de Beaulieu
F-35042 RENNES Cedex, France
Yulong Zhao
MediCIS – LTSI – Inserm UMR 1099 – Université de Rennes 1
Faculté de Médecine, 2 Avenue du Professeur Léon Bernard
F-35043 Rennes Cedex, France
