# A General Overview of Formal Languages for Individual-Based Modelling of Ecosystems

## TL;DR

This paper reviews various formal languages used for individual-based ecological modeling, focusing on process calculi and other approaches, highlighting their differences, advantages, disadvantages, and future research directions.

## Contribution

It provides a comprehensive overview of existing formal languages for ecological modeling, emphasizing process calculi and comparing them with other methods.

## Key findings

- Process calculi are widely used in ecological modeling.
- Different languages offer distinct advantages and limitations.
- Future research should explore hybrid approaches and new formal frameworks.

## Abstract

Various formal languages have been proposed in the literature for the individual-based modelling of ecological systems. These languages differ in their treatment of time and space. Each modelling language offers a distinct view and techniques for analyzing systems. Most of the languages are based on process calculi or P systems. In this article, we present a general overview of the existing modelling languages based on process calculi. We also discuss, briefly, other approaches such as P systems, cellular automata and Petri nets. Finally, we show advantages and disadvantages of these modelling languages and we propose some future research directions.