Rule-based Modelling and Tunable Resolution

  title={Rule-based Modelling and Tunable Resolution},
  author={Russell Harmer},
We investigate the use of an extension of rule-based modelling for cellular signalling to create a structured space of model variants. This enables the incremental development of rule sets that start from simple mechanisms and which, by a gradual increase in agent and rule resolution, evolve into more detailed descriptions. 

When rule-based models need to count

An extension of the Kappa language is presented which attaches to agents a notion of level and two encodings are detailed that are more concise than the former practice.

Innovations of the Rule-Based Modeling Approach

In this chapter, innovations of the rule-based modeling approach are discussed, relative to traditional approaches for modeling chemical kinetics, which include the use of rules to concisely capture the dynamics of molecular interactions, the view of models as programs, and agent-based computational approaches that can be applied to simulate the chemicalKinetics of a system characterized by a large traditional model.

A knowledge representation meta-model for rule-based modelling of signalling networks

A graph-based meta-model, attuned to the representation of cellular signalling networks, which aims to ease this massive cognitive burden on the rule-based curation process and is a generalization of that used by Kappa and BNGL.

KAMIStudio: An Environment for Biocuration of Cellular Signalling Knowledge

KAMIStudio is presented, an environment for biocuration of cellular signalling knowledge based on the KAMI framework that provides an interface for the aggregation of decontextualized knowledge about individual protein-protein interactions.

On the Implementation of Quantitative Model Refinement

It is concluded that Bionetgen is well-suited for a compact representation of the refined model, Petri nets offer a good solution through the use of colors, while the PRISM refined model may be much larger than the basic model.

Bio-Curation for Cellular Signalling: The KAMI Project

The general question of what constitutes bio-curation for rule-based modelling of cellular signalling is posed. A general approach to the problem is presented, based on rewriting in hierarchies of

Program committee

This talk will discuss topics related with the formalisation of confluence properties in the prototype verification system PVS, which guarantees confluence of Noetherian and locally confluent abstract reduction systems and orthogonal term rewriting systems.

Systems Biology

This chapter describes approaches used in genomics, epigenomics, transcriptomics, proteomics, metabolomics and lipidomics, and how recent technological advances have moved the bottleneck from data production to data analysis.



Rule-Based Modelling, Symmetries, Refinements

This paper presents a method to refine rule sets in a way that preserves the implied stochastic semantics, and shows how to refine rules and which choice of refined rates will lead to a neutral refinement, i.e., one that has the same global activity as the original rule had.

Rule-Based Modelling and Model Perturbation

A syntactic extension of Kappa, an established rule-based modelling platform, is defined that enables the expression of a structured space of agents and rules that allows us to express mutated agents, splice variants, families of related proteins and ligand/drug interventions uniformly.

Rule-Based Modelling of Cellular Signalling

It is shown how causality enables the formalization of the colloquial concept of pathway and, perhaps more surprisingly, how conflict can be used to dissect the signalling dynamics to obtain a qualitative handle on the range of system behaviours.

An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra

This work proposes an high level textual modelling language, which is meant to be biologically intuitive and hence easily usable by life scientists in modelling intracellular systems and provides an automatic translation of the proposed language into Beta-binders, a bio-inspired process calculus, which allows life scientists to formally analyse and simulate their models.

Scalable Simulation of Cellular Signaling Networks

A radically different method which does not attempt to count species is presented, which uses a representation of the system together with a super-approximation of its 'event horizon' (all events that may happen next), and a specific correction scheme to obtain exact timings.

Rules for Modeling Signal-Transduction Systems

Approaches to creation of mathematical models of signaling systems with strategies that keep the models from being unwieldy but still allow them to accurately reflect biological systems are reviewed.

Cellular abstractions: Cells as computation

Computer science could provide the abstraction needed for consolidating knowledge of biomolecular systems and help in the design and development of new drugs and materials.

Cells as Computation

Although we are successfully consolidating our knowledge of the’ sequence’ and ‘structure’ branches of molecular cell biology in an accessible manner, the mountains of knowledge about the function,

Differential regulation of MAP kinase signalling by dual-specificity protein phosphatases

The regulated dephosphorylation of mitogen-activated protein kinases (MAPKs) plays a key role in determining the magnitude and duration of kinase activation and hence the physiological outcome of

Mechanistic Studies of the Dual Phosphorylation of Mitogen-activated Protein Kinase*

The findings indicate that MAPKK-1* phosphorylates p42 MAPK by a two- Collision, distributive mechanism rather than a single-collision, processive mechanism, and provide a mechanistic basis for understanding how MAP kinase can convert graded inputs into switch-like outputs.