Multi-level modelling via stochastic multi-level multiset rewriting†

@article{Oury2013MultilevelMV,
  title={Multi-level modelling via stochastic multi-level multiset rewriting†},
  author={Nicolas Oury and Gordon D. Plotkin},
  journal={Mathematical Structures in Computer Science},
  year={2013},
  volume={23},
  pages={471 - 503}
}
We present a simple stochastic rule-based approach to multi-level modelling for computational systems biology. Populations are modelled using multi-level multisets; these contain both species and agents, with the latter possibly containing further such multisets. Rules are pairs of such multisets, but they may now also include variables (as well as species and agents), together with an associated stochastic rate. We give two illustrative examples. The first is an extracellular model of virus… 

Coloured stochastic multilevel multiset rewriting

Coloured stochastic multilevel multiset rewriting is introduced, an expressive formalism for modelling systems with parameters and complex dynamic, multileVEL compartment structures, and an extension of both multilesvel mult iset rewriting and coloured Petri nets that allows the direct and natural expression of biological ideas.

Rule-based multi-level modeling of cell biological systems

Rule-based languages are a suitable starting point for developing a concise and compact language for multi-level modeling of cell biological systems and the combination of nesting species, assigning attributes, and constraining reactions according to these attributes is crucial in achieving the desired expressiveness.

Multi-Level Modeling and Simulation of Cellular Systems: An Introduction to ML-Rules.

The chapter illuminates the specific features of ML-Rules as a rule-based modeling language, the implications for an efficient execution, and shows ML- rules at work.

Simulation techniques for the calculus of wrapped compartments

Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language

This work introduces several specialized algorithms that are able to handle subclasses of ML-Rules more efficiently and compared in a performance study on the relation between expressive power and computational complexity of rule-based modeling languages.

Parallel Stochastic Simulators in System Biology: The Evolution of the Species

The Calculus of Wrapped Components (CWC) simulator, which is designed according to the FastFlow's pattern-based approach, is presented and discussed in this work and has been extended to support also clusters of multi-cores with minimal coding effort.

Approximate Probabilistic Parallel Multiset Rewriting Using MCMC

This work has shown that the partition function for this distribution exactly is infeasible, as it requires to enumerate all solutions of the CSP, which are subject to a combinatorial explosion.

Multi-state Modeling of Biomolecules

Multi-state modeling of biomolecules refers to a series of techniques used to represent and compute the behavior of biological molecules or complexes that can adopt a large number of possible functional states, with particle-based methods sometimes the only possible option.

Typed stochastic semantics for the calculus of looping sequences

A Calculus of Looping Sequences with Local Rules

This paper presents a variant of the Calculus of Looping Sequences with global and local rewrite rules, enriching the new calculus with a parallel semantics where a reduction step is lead by any number ofglobal and local rules that could be performed in parallel.

References

SHOWING 1-10 OF 47 REFERENCES

Hybrid Calculus of Wrapped Compartments

A hybrid simulation method is defined, combining the stochastic approach with ODEs, for systems described in CWC, a calculus on which the compartmentalisation of a biological system whose evolution is defined by a set of rewrite rules.

Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways

The paper gives SCLS representations of the regulation process of the lactose operon in Escherichia coli and of the quorum sensing in Pseudomonas aeruginosa and a prototype simulator is implemented in F# and used to run the experiments.

A Language for Biochemical Systems: Design and Formal Specification

A Language for Biochemical Systems is introduced which combines rule-based approaches to modelling with modularity and parameterised modules with a notion of subtyping for writing reusable modules, and nondeterminism for handling combinatorial explosion.

Stochastic process semantics for dynamical grammars

Within this modeling framework one can express data clustering models, logic programs, ordinary and stochastic differential equations, branching processes, graph grammars, and stochy chemical reaction kinetics, which makes the framework particularly suitable for applications in machine learning and multiscale scientific modeling.

Stochastic vs. deterministic modeling of intracellular viral kinetics.

A simple model of the intracellular kinetics of a generic virus, which could be implemented deterministically or stochastically, suggested a potential mechanism of viral persistence and yielded different transient kinetics and different steady-state levels of viral components.

Deterministic Modeling of Intracellular Viral Kinetics

A simple model of the intracellular kinetics of a generic virus, which could be implemented deterministically or stochastically, yielded different transient kinetics and different steady-state levels of viral components, particularly for low multiplicities of infection (MOI), where few virus particles initiate the infection.

Stochastic CLS for the Modeling and Simulation of Biological Systems

The Stochastic Calculus of Looping Sequences suitable to describe microbiological systems and their evolution is presented and the regulation process of the lactose operon in Escherichia coli is given.

Biocharts: a visual formalism for complex biological systems

This work proposes a two-tier compound visual language, which it calls Biocharts, that is geared towards building fully executable models of biological systems and aims to enable biologists to actively participate in the computational modelling effort, in a natural way.