Modelling molecular networks: relationships between different formalisms and levels of details

Sylvain Soliman (1) , Claudine Chaouiya (2) , Grégory Batt (1) , Francois Fages (1) , Élisabeth Remy (3) , Franck Pommereau (4) , Laurence Calzone (5)

1 CONTRAINTES - Constraint programming
2 TAGC - Technologies avancées pour le génôme et la clinique
3 IML - Institut de mathématiques de Luminy
4 LACL - Laboratoire d'Algorithmique Complexité et Logique
5 Cancer et génome: Bioinformatique, biostatistiques et épidémiologie d'un système complexe

This document is the deliverable 1.3 of French ANR CALAMAR. It presents a study of different formalisms used for modelling and analyzing large molecular regulation networks, their formal links, in terms of mutual encodings and of abstractions, and the corresponding levels of detail captured.

Keywords: regulation networks; expressivity; abstraction; formalisms; modelling

Domains: Programming Languages [cs.PL]

Sylvain Soliman, Claudine Chaouiya, Grégory Batt, Francois Fages, Élisabeth Remy, et al.. Modelling molecular networks: relationships between different formalisms and levels of details. [Research Report] RR-7221, INRIA. 2010. ⟨inria-00461084⟩