Formal Modeling of Social-Ecological Systems

International audienceThe success of Integrated Assessment and Modeling of social-ecological systems requires a framework allowing the members of such a process to share and gather their respective knowledge about the system under consideration and to get confidence into the reliability of the software that implements the system's model they have produced. To this end, this paper presents an Entity-Process meta-model of SESs and outlines its use