HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Prediction of Mutations to Control Pathways Enabling Tumour Cell Invasion with the CoLoMoTo Interactive Notebook (Tutorial)

Abstract : Boolean and multi-valued logical formalisms are increasingly used to model complex cellular networks. To ease the development and analysis of logical models, a series of software tools have been proposed, often with specific assets. However, combining these tools typically implies a series of cumbersome software installation and model conversion steps. In this respect, the CoLoMoTo Interactive Notebook provides a joint distribution of several logical modelling software tools, along with an interactive web Python interface easing the chaining of complementary analyses. In this protocol, we demonstrate the assets of this approach through the analysis of a computational model of biological network. Our computational workflow combines (1) the importation of a GINsim model and its display, (2) its format conversion using the Java library BioLQM, (3) the formal prediction of mutations using the OCaml software Pint, (4) the model checking using the C++ software NuSMV, (5) quantitative stochastic simulations using the C++ software MaBoSS, and (6) the visualisation of results using the Python library matplotlib. We rely on the CoLoMoTo Interactive Notebook to provide a thoroughly documented and executable notebook of our computational analysis. Starting with a recent Boolean model of the signalling network controlling tumour cell invasion and migration, our model analysis culminates with the prediction of sets of mutations presumably involved in a metastatic phenotype. Beyond the specific application considered here, the resulting Jupyter notebook constitutes a tutorial for the use and combination of several logical modelling tools, which can be easily adapted to analyse other models. Furthermore, the notebook web interface and the companion Docker distribution of logical modelling tools greatly facilitate the production of accessible and reproducible model analysis workflows.
Document type :
Journal articles
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

Contributor : Loïc Paulevé Connect in order to contact the contributor
Submitted on : Friday, July 6, 2018 - 2:55:50 PM
Last modification on : Thursday, March 17, 2022 - 10:08:40 AM
Long-term archiving on: : Tuesday, October 2, 2018 - 5:04:44 AM


Publisher files allowed on an open archive



Nicolas Levy, Aurélien Naldi, Céline Hernandez, Gautier Stoll, Denis Thieffry, et al.. Prediction of Mutations to Control Pathways Enabling Tumour Cell Invasion with the CoLoMoTo Interactive Notebook (Tutorial). Frontiers in Physiology, Frontiers, 2018, 9, pp.787. ⟨10.1101/319780⟩. ⟨hal-01809081⟩



Record views


Files downloads