Prospects for Declarative Mathematical Modeling of Complex Biological Systems

by   Eric Mjolsness, et al.

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. Multiscale modeling benefits 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 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.



page 1

page 2

page 3

page 4


The Bond-Calculus: A Process Algebra for Complex Biological Interaction Dynamics

We present the bond-calculus, a process algebra for modelling biological...

Parametric Denotational Semantics for Extensible Language Definition and Program Analysis

We present a novel approach to construction of a formal semantics for a ...

BRTSim, a general-purpose computational solver for hydrological, biogeochemical, and ecosystem dynamics

This paper introduces the recent release v3.1a of BRTSim (BioReactive Tr...

FIFTH system for general-purpose connectionist computation

To date, work on formalizing connectionist computation in a way that is ...

A tensorized logic programming language for large-scale data

We introduce a new logic programming language T-PRISM based on tensor em...

Exploring Hidden Semantics in Neural Networks with Symbolic Regression

Many recent studies focus on developing mechanisms to explain the black-...

SOS Rules for Equivalences of Reaction Systems

Reaction Systems (RSs) are a successful computational framework inspired...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.