Examinando por Materia "Formal modelling languages"
Mostrando 1 - 2 de 2
Resultados por página
Opciones de ordenación
Ítem A general overview of formal languages for individual-based modelling of ecosystems(Elsevier BV, 2019-04-01) Toro, Mauricio; Toro, Mauricio; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las ComunicacionesVarious 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. (C) 2019 Elsevier Inc. All rights reserved.Ítem A general overview of formal languages for individual-based modelling of ecosystems(Elsevier BV, 2019-04-01) Toro, Mauricio; Universidad EAFIT. Departamento de Ingeniería Mecánica; Estudios en Mantenimiento (GEMI)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. (C) 2019 Elsevier Inc. All rights reserved.