DeepAI AI Chat
Log In Sign Up

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

01/28/2019
by   Mauricio Toro, et al.
Universidad EAFIT
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

10/15/2022

A Theory of Formal Choreographic Languages

We introduce a meta-model based on formal languages, dubbed formal chore...
05/26/2020

A Survey of Languages for Formalizing Mathematics

In order to work with mathematical content in computer systems, it is ne...
10/05/2018

Current Trends and Future Research Directions for Interactive Music

In this review, it is explained and compared different software and form...
10/23/2020

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

This article presents the results of the evaluation campaign of language...
07/21/2020

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

Conformance checking is a set of process mining functions that compare p...
02/27/2023

A Brief Survey on the Approximation Theory for Sequence Modelling

We survey current developments in the approximation theory of sequence m...
07/01/2019

Parametric Verification: An Introduction

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