1. Chromar, a Rule-based Language of Parameterised Objects
- Author
-
Andrew J. Millar, Ricardo Honorato-Zimmer, Argyris Zardilis, and Gordon Plotkin
- Subjects
0301 basic medicine ,General-purpose programming language ,Theoretical computer science ,General Computer Science ,Knowledge representation and reasoning ,representation ,Computer science ,Systems biology ,Plant Science ,0102 computer and information sciences ,01 natural sciences ,Theoretical Computer Science ,03 medical and health sciences ,Naturalness ,Molecule ,stochastic ,rule-based modelling ,Representation (mathematics) ,computer.programming_language ,Systems Biology ,Object (computer science) ,Engineering physics ,Variable (computer science) ,030104 developmental biology ,010201 computation theory & mathematics ,Haskell ,computer ,Computer Science(all) - Abstract
Modelling in biology becomes necessary when systems are complex but the more complex the systems are the harder the models become to read. The most common ways of writing models are by writing reactions on discrete, typed objects (e.g. molecules of different species), or writing rate equations for the populations of such species. One problem (1) with those approaches is that the number of species and reactions is often so large that the model cannot be realistically enumerated. Another problem (2) is that the number of species and reactions is fixed, whereas biology often grows new compartments which means new reactions and species. Here we develop an extension to the representation of reactions where the objects carry variables that are defined by their type (for example objects of type Leaf all have a Mass variable). The dynamics are defined by rules about types, which means they work for all objects of that type. This compact representation solves problem 1. If we think of the object variables as the analogue of reaction/rate equation species, creating a new object of some type means we are also creating new species (solving problem 2). We also developed an embedding of Chromar in the programming language Haskell and showed its applicability to two examples. Having a more compact representation can help make models a tool for knowledge representation and exchange instead of just a simulation input. Embedding Chromar in a general purpose programming language lifts some of the constraints of modelling languages while still maintaining the naturalness of a domain-specific language.
- Published
- 2018
- Full Text
- View/download PDF