Multi-scale stochastic organization-oriented coarse-graining exemplified on the human mitotic checkpoint

The complexity of biological models makes methods for their analysis and understanding highly desirable. Here, we demonstrate the orchestration of various novel coarse-graining methods by applying them to the mitotic spindle assembly checkpoint. We begin with a detailed fine-grained spatial model in which individual molecules are simulated moving and reacting in a three-dimensional space. A sequence of manual and automatic coarse-grainings finally leads to the coarsest deterministic and stochastic models containing only four molecular species and four states for each kinetochore, respectively. We are able to relate each more coarse-grained level to a finer one, which allows us to relate model parameters between coarse-grainings and which provides a more precise meaning for the elements of the more abstract models. Furthermore, we discuss how organizational coarse-graining can be applied to spatial dynamics by showing spatial organizations during mitotic checkpoint inactivation. We demonstrate how these models lead to insights if the model has different “meaningful” behaviors that differ in the set of (molecular) species. We conclude that understanding, modeling and analyzing complex bio-molecular systems can greatly benefit from a set of coarse-graining methods that, ideally, can be automatically applied and that allow the different levels of abstraction to be related.

[1]  Alexander N Gorban,et al.  Model reduction in chemical dynamics: slow invariant manifolds, singular perturbations, thermodynamic estimates, and analysis of reaction graph , 2018, Current Opinion in Chemical Engineering.

[2]  Andrew W. Murray,et al.  The Cell Cycle , 1989 .

[3]  Vincent Danos,et al.  Internal coarse-graining of molecular systems , 2009, Proceedings of the National Academy of Sciences.

[4]  Bashar Ibrahim,et al.  Modeling potent pathways for APC/C inhibition: pivotal roles for MCC and BubR1 , 2016, 1611.04781.

[5]  Frank Noé,et al.  ReaDDy - A Software for Particle-Based Reaction-Diffusion Dynamics in Crowded Cellular Environments , 2013, PloS one.

[6]  Ron Henkel,et al.  Notions of similarity for systems biology models , 2016, Briefings Bioinform..

[7]  Tomas Veloz,et al.  Effects of small particle numbers on long-term behaviour in discrete biochemical systems , 2014, Bioinform..

[8]  S. Lam,et al.  The CSP method for simplifying kinetics , 1994 .

[9]  Peter F. Stadler,et al.  A Topological Approach to Chemical Organizations a Topological Approach to Chemical Organizations , 2022 .

[10]  Alexander N Gorban,et al.  Asymptotology of chemical reaction networks , 2009, 0903.5072.

[11]  David O. Morgan,et al.  The Cell Cycle: Principles of Control , 2014 .

[12]  Jonathan E. Rowe,et al.  Finite-Horizon Bisimulation Minimisation for Probabilistic Systems , 2016, SPIN.

[13]  Nicolas Le Novère,et al.  Structure, function, and behaviour of computational models in systems biology , 2013, BMC Systems Biology.

[14]  M. Crosby,et al.  Cell Cycle: Principles of Control , 2007, The Yale Journal of Biology and Medicine.

[15]  P. Dittrich,et al.  In-Silico Modeling of the Mitotic Spindle Assembly Checkpoint , 2008, PloS one.

[16]  Tamás Turányi,et al.  Analysis of Kinetic Reaction Mechanisms , 2014 .

[17]  Patrícia M. A. Silva,et al.  Spindle Assembly Checkpoint as a Potential Target in Colorectal Cancer: Current Status and Future Perspectives , 2017, Clinical colorectal cancer.

[18]  Cosmin Safta,et al.  Chemical model reduction under uncertainty , 2017 .

[19]  I. Vitale,et al.  Molecular Regulation of the Spindle Assembly Checkpoint by Kinases and Phosphatases. , 2017, International review of cell and molecular biology.

[20]  Vipul Periwal,et al.  System Modeling in Cellular Biology: From Concepts to Nuts and Bolts , 2006 .

[21]  Peter Dittrich,et al.  On the Relation between Organizations and Limit Sets in Chemical Reaction Systems , 2011, Adv. Complex Syst..

[22]  Eric Mjolsness,et al.  Model reduction for stochastic CaMKII reaction kinetics in synapses by graph-constrained correlation dynamics. , 2015, Physical biology.

[23]  Fridolin Gross,et al.  Implications of alternative routes to APC/C inhibition by the mitotic checkpoint complex , 2018, PLoS Comput. Biol..

[24]  Éva Tardos,et al.  Algorithm design , 2005 .

[25]  Jonathan R. Karr,et al.  A Whole-Cell Computational Model Predicts Phenotype from Genotype , 2012, Cell.

[26]  Bashar Ibrahim,et al.  Mathematical analysis and modeling of DNA segregation mechanisms. , 2017, Mathematical biosciences and engineering : MBE.

[27]  Dima Grigoriev,et al.  Tropicalization and tropical equilibration of chemical reactions , 2012, 1303.3963.

[28]  Peter Dittrich,et al.  Stochastic effects in a compartmental model for mitotic checkpoint regulation , 2007, J. Integr. Bioinform..

[29]  Peter Dittrich,et al.  Mad2 binding is not sufficient for complete Cdc20 sequestering in mitotic transition control (an in silico study). , 2008, Biophysical chemistry.

[30]  Peter Dittrich,et al.  Chemical Organisation Theory , 2007, Bulletin of mathematical biology.

[31]  Peter Dittrich,et al.  A Dynamical Model for Activating and Silencing the Mitotic Checkpoint , 2017, Scientific Reports.

[32]  Peter Dittrich,et al.  In silico study of kinetochore control, amplification, and inhibition effects in MCC assembly , 2009, Biosyst..

[33]  Mate Puljiz On coarse graining and other fine problems , 2017 .

[34]  Tomas Veloz,et al.  Cycles and the Qualitative Evolution of Chemical Systems , 2012, PloS one.

[35]  Peter Dittrich,et al.  Artificial Chemistry ’ s Global Dynamic . Movements in the Lattice of Organisation , 2022 .

[36]  Bashar Ibrahim,et al.  A Mathematical Framework for Kinetochore-Driven Activation Feedback in the Mitotic Checkpoint , 2017, Bulletin of mathematical biology.

[37]  Pietro Speroni di Fenizio,et al.  Chemical Organisation Theory , 2005, Bulletin of mathematical biology.

[38]  Alden H. Wright,et al.  State Aggregation and Population Dynamics in Linear Systems , 2005, Artificial Life.

[39]  E. Salmon,et al.  The spindle-assembly checkpoint in space and time , 2007, Nature Reviews Molecular Cell Biology.

[40]  Martin Nilsson Jacobi,et al.  Hierarchical Organization in Smooth Dynamical Systems , 2005, Artificial Life.

[41]  Peter Dittrich,et al.  Organisation-Oriented Coarse Graining and Refinement of Stochastic Reaction Networks , 2018, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[42]  Alden H. Wright,et al.  Differentiable coarse graining , 2006, Theor. Comput. Sci..

[43]  Peter Dittrich,et al.  Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory , 2016, CMSB.

[44]  Nikolaos Kazantzis,et al.  Model reduction and coarse-graining approaches for multiscale phenomena , 2006 .

[45]  John J. Tyson,et al.  Molecular mechanisms creating bistable switches at cell cycle transitions , 2013, Open Biology.

[46]  Bashar Ibrahim,et al.  In silico spatial simulations reveal that MCC formation and excess BubR1 are required for tight inhibition of the anaphase-promoting complex. , 2015, Molecular bioSystems.

[47]  Bashar Ibrahim,et al.  Active Transport Can Greatly Enhance Cdc20:Mad2 Formation , 2014, International journal of molecular sciences.

[48]  Bashar Ibrahim,et al.  Toward a systems-level view of mitotic checkpoints. , 2015, Progress in biophysics and molecular biology.

[49]  Leo W. Buss,et al.  “The arrival of the fittest”: Toward a theory of biological organization , 1994 .

[50]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[51]  Karen Willcox,et al.  A Survey of Projection-Based Model Reduction Methods for Parametric Dynamical Systems , 2015, SIAM Rev..

[52]  Luca Cardelli,et al.  Morphisms of reaction networks that couple structure to function , 2014, BMC Systems Biology.

[53]  Eshel Ben-Jacob,et al.  Evaluating putative mechanisms of the mitotic spindle checkpoint. , 2005, Proceedings of the National Academy of Sciences of the United States of America.

[54]  Takeharu Nagai,et al.  Two Bistable Switches Govern M Phase Entry , 2016, Current Biology.

[55]  Peter Dittrich,et al.  Chemical Organizations at Different Spatial Scales , 2007, ECAL.