Biochemical Reaction Rules with Constraints

Mathias John 1 Cédric Lhoussaine 1 Joachim Niehren 1, 2, * Cristian Versari 3
* Auteur correspondant
1 BioComputing - Programming Languages for Biological Modeling and Simulation
LIFL - Laboratoire d'Informatique Fondamentale de Lille
2 MOSTRARE - Modeling Tree Structures, Machine Learning, and Information Extraction
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
Abstract : We propose React(C), an expressive programming language for stochastic modeling and simulation in systems biology, that is based on biochemical reactions with constraints. We prove that React(C) can express the stochastic pi-calculus, in contrast to previous rule-based programming languages, and further illustrate the high expressiveness of React(C). We present a stochastic simulator for React(C) independently of the choice of the constraint language C. Our simulator must decide for a given reaction rule whether it can be applied to the current biochemical solution. We show that this decision problem is NP-complete for arbitrary constraint systems C, and that it can be solved in polynomial time for rules of bounded arity. In practice, we propose to solve this problem by constraint programming.
Type de document :
Communication dans un congrès
20th European Symposium on Programming Languages, Mar 2011, Saarbrücken, Germany. Springer, 6602, pp.338-357, 2011, LNCS
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00544387
Contributeur : Joachim Niehren <>
Soumis le : jeudi 3 février 2011 - 22:43:47
Dernière modification le : mardi 16 octobre 2018 - 17:44:06
Document(s) archivé(s) le : mardi 6 novembre 2012 - 13:20:53

Fichier

0.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00544387, version 1

Citation

Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari. Biochemical Reaction Rules with Constraints. 20th European Symposium on Programming Languages, Mar 2011, Saarbrücken, Germany. Springer, 6602, pp.338-357, 2011, LNCS. 〈inria-00544387〉

Partager

Métriques

Consultations de la notice

371

Téléchargements de fichiers

324