28 avril 2025
Franck Pommereau (IBISC, Université d'Évry)We present the EDEN framework that provides tools for the formal modelling and analysis of social-ecological systems and their dynamics. In particular, EDEN features modelling languages that allow defining systems as discrete variables and guarded actions to update them. An implementation called ecco allows analysing the dynamics of such modelled systems in an interactive and incremental way, leveraging classical techniques from the field of model-checking. EDEN has been used for years for both theoretical and practical studies.