A tool for the modelling and simulation of ecological systems based on grid systems

Suryana Setiawan, Antonio Cerone, Paolo Milazzo

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Grid Systems is a formalism for modelling population and ecosystem dynamics that combines features of membrane computing, such as rewrite rules and maximal parallelism, with a representation of space similar to that of Cellular Automata. Moreover, Grid Systems include features for the description of environmental events and of events that can be associated with frequencies and durations that can be either deterministic or stochastic. The combination of all of these features makes Grid Systems a comprehensive formalism for the modelling and analysis of ecosystems. This tool paper describes the implementation and the features of a simulator for Grid Systems. The simulator is equipped with a graphical user interface for defining and editing models of populations, and for simulating population dynamics and movement. The aim of this tool is to allow modellers to construct and analyse models based on a comprehensive and rigorous formalism such as Grid Systems with a friendly interface.

Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods - SEFM 2015 Collocated Workshops
Subtitle of host publicationATSE, HOFM, MoKMaSD, and VERY*SCART, Revised Selected Papers
EditorsDomenico Bianculli, Radu Calinescu, Bernhard Rumpe
PublisherSpringer Verlag
Pages198-212
Number of pages15
ISBN (Print)9783662492239
DOIs
Publication statusPublished - 1 Jan 2015
Event13th International Conference on Software Engineering and Formal Methods, SEFM 2015 - York, United Kingdom
Duration: 7 Sep 20158 Sep 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9509
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference13th International Conference on Software Engineering and Formal Methods, SEFM 2015
Country/TerritoryUnited Kingdom
CityYork
Period7/09/158/09/15

Fingerprint

Dive into the research topics of 'A tool for the modelling and simulation of ecological systems based on grid systems'. Together they form a unique fingerprint.

Cite this