Prospects for declarative mathematical modeling of complex biological systems
From MaRDI portal
Publication:2325599
Abstract: Declarative modeling uses symbolic expressions to represent models. With such expressions one can formalize high-level mathematical computations on models that would be difficult or impossible to perform directly on a lower-level simulation program, in a general-purpose programming language. Examples of such computations on models include model analysis, relatively general-purpose model-reduction maps, and the initial phases of model implementation, all of which should preserve or approximate the mathematical semantics of a complex biological model. The potential advantages are particularly relevant in the case of developmental modeling, wherein complex spatial structures exhibit dynamics at molecular, cellular, and organogenic levels to relate genotype to multicellular phenotype. Multiscale modeling can benefit from both the expressive power of declarative modeling languages and the application of model reduction methods to link models across scale. Based on previous work, here we define declarative modeling of complex biological systems by defining the operator algebra semantics of an increasingly powerful series of declarative modeling languages including reaction-like dynamics of parameterized and extended objects; we define semantics-preserving implementation and semantics-approximating model reduction transformations; and we outline a "meta-hierarchy" for organizing declarative models and the mathematical methods that can fruitfully manipulate them.
Recommendations
- Mathematical modeling in systems biology. An introduction
- Mathematical and physical modeling principles of complex biological systems
- Computational modelling of biological systems: tools and visions
- Modeling of Biological Systems: From Algebra to Calculus and Computer Simulations
- scientific article; zbMATH DE number 5828466
- Modeling life. The mathematics of biological systems
- The emergence and development of a class of biomathematical models
- Mathematical modeling in biology: systems capable to live and die
- Modeling Dynamic Biological Systems
- Mathematical modelling of biosystems
Cites work
- A stochastic model related to the telegrapher's equation
- Adapting a plant tissue model to animal development: introducing cell sliding into VirtualLeaf
- Cell-based model of the generation and maintenance of the shape and structure of the multilayered shoot apical meristem of Arabidopsis thaliana
- Fundamentals of algebraic graph transformation
- Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
- On process rate semantics
- Open source computer algebra systems
- POD and CVT-based reduced-order modeling of Navier-Stokes flows
- Rule-Based Modelling of Cellular Signalling
- Stochastic mechanics of graph rewriting
- Stochastic process semantics for dynamical grammars
- Strain- or stress-sensing in mechanochemical patterning by the phytohormone auxin
- The EM algorithm for graphical association models with missing data
- Towards measurable types for dynamical process modeling languages
Cited in
(5)- scientific article; zbMATH DE number 5051639 (Why is no real title available?)
- Computer modeling in neuroscience: from imperative to declarative programming. Maude modeling in neuroscience.
- EPISTEMOLOGY OF COMPUTATIONAL BIOLOGY: MATHEMATICAL MODELS AND EXPERIMENTAL PREDICTION AS THE BASIS OF THEIR VALIDITY
- \(\epsilon\)-semantics computations on biological systems
- A Formal Framework for Composing Qualitative Models of Biological Systems
This page was built for publication: Prospects for declarative mathematical modeling of complex biological systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2325599)
