On the History of Ecosystem Dynamical Modeling: The Rise and Promises of Qualitative Models.

Ecosystem modeling is a complex and multidisciplinary modeling problem which emerged in the 1950s. It takes advantage of the computational turn in sciences to better understand anthropogenic impacts and improve ecosystem management. For that purpose, ecosystem simulation models based on difference or differential equations were built.

Model-checking ecological state-transition graphs.

Model-checking is a methodology developed in computer science to automatically assess the dynamics of discrete systems, by checking if a system modelled as a state-transition graph satisfies a dynamical property written as a temporal logic formula. The dynamics of ecosystems have been drawn as state-transition graphs for more than a century, ranging from state-and-transition models to assembly graphs. Model-checking can provide insights into both empirical data and theoretical models, as long as they sum up into state-transition graphs.