DeepAI AI Chat
Log In Sign Up

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

by   Mauricio Toro, et al.
Universidad EAFIT

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.


page 1

page 2

page 3

page 4


A Theory of Formal Choreographic Languages

We introduce a meta-model based on formal languages, dubbed formal chore...

A Survey of Languages for Formalizing Mathematics

In order to work with mathematical content in computer systems, it is ne...

Current Trends and Future Research Directions for Interactive Music

In this review, it is explained and compared different software and form...

Evaluating Language Tools for Fifteen EU-official Under-resourced Languages

This article presents the results of the evaluation campaign of language...

Conformance checking: A state-of-the-art literature review

Conformance checking is a set of process mining functions that compare p...

A Brief Survey on the Approximation Theory for Sequence Modelling

We survey current developments in the approximation theory of sequence m...

Parametric Verification: An Introduction

This paper constitutes a short introduction to parametric verification o...