Self-assembly Models of Variable Resolution

Model refinement is an important aspect of the model-building process. It can be described as a procedure which, starting from an abstract model of a system, performs a number of refinement steps in result of which a more detailed model is obtained. At the same time, in order to be correct, the refinement mechanism has to be capable of preserving already proven systemic quantitative properties of the original model, e.g. model fit, stochastic semantics, etc. In this study we concentrate on the refinement in the case of self-assembly models. Self-assembly is a process in which a disordered ensemble of basic components forms an organized structure as a result of specific, local interactions among these components, without external guidance. We develop a generic formal model for this process and introduce a notion of model resolution capturing the maximum size up to which objects can be distinguished individually in the model. All bigger objects are treated homogenously in the model. We show how this self-assembly model can be systematically refined in such a way that its resolution can be increased and decreased while preserving the original model fit to experimental data, without the need for tedious, computationally expensive process of parameter refitting. We demonstrate how the introduced methodology can be applied to a previously published model: we consider the case-study of in vitro self-assembly of intermediate filaments.

[1]  Thomas Hillen,et al.  A Course in Mathematical Biology: Quantitative Modeling with Mathematical and Computational (Monographs on Mathematical Modeling and Computation) , 2006 .

[2]  D. Gillespie A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions , 1976 .

[3]  Johannes Müller,et al.  A Course in Mathematical Biology , 2006 .

[4]  John Brennan,et al.  National Medical Series for Independent Study , 1998 .

[5]  Arthur D Lander,et al.  The edges of understanding , 2010, BMC Biology.

[6]  Vincent Danos,et al.  Rule Based Modeling and Model Refinement , 2010 .

[7]  Ralph-Johan Back,et al.  Refinement Calculus , 1998, Graduate Texts in Computer Science.

[8]  Ion Petre,et al.  Quantitative Analysis of the Self-Assembly Strategies of Intermediate Filaments from Tetrameric Vimentin , 2012, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[9]  Edda Klipp,et al.  Systems Biology , 1994 .

[10]  U Aebi,et al.  Characterization of distinct early assembly units of different intermediate filament proteins. , 1999, Journal of molecular biology.

[11]  Niklaus Wirth,et al.  Program development by stepwise refinement , 1971, CACM.

[12]  Dana S. Scott,et al.  First Steps Towards Inferential Programming , 1983, IFIP Congress.

[13]  Ueli Aebi,et al.  A Quantitative Kinetic Model for the in Vitro Assembly of Intermediate Filaments from Tetrameric Vimentin* , 2007, Journal of Biological Chemistry.

[14]  H. Kitano Systems Biology: A Brief Overview , 2002, Science.

[15]  Bruce Alberts,et al.  Essential Cell Biology , 1983 .

[16]  D. Gillespie Exact Stochastic Simulation of Coupled Chemical Reactions , 1977 .

[17]  B. Alberts,et al.  Molecular Biology of the Cell (Fifth Edition) , 2008 .

[18]  D. Lauffenburger,et al.  Input–output behavior of ErbB signaling pathways as revealed by a mass action model trained against dynamic data , 2009, Molecular systems biology.

[19]  Roger Brent,et al.  Automatic generation of cellular reaction networks with Moleculizer 1.0 , 2005, Nature Biotechnology.

[20]  Akif Uzman,et al.  Essential cell biology (2nd ed.) , 2004 .

[21]  F. Bruggeman,et al.  The nature of systems biology. , 2007, Trends in microbiology.

[22]  Edda Klipp,et al.  Systems Biology in Practice , 2005 .

[23]  U Aebi,et al.  Structure and assembly properties of the intermediate filament protein vimentin: the role of its head, rod and tail domains. , 1996, Journal of molecular biology.

[24]  Kenneth E. Iverson,et al.  A programming language , 1899, AIEE-IRE '62 (Spring).

[25]  Donald E. Knuth Two notes on notation , 1992 .

[26]  Vincent Danos,et al.  Rule-Based Modelling, Symmetries, Refinements , 2008, FMSB.