Abstract
Signalling pathways provide a complex cellular information processing machinery that evaluates particular input stimuli and transfers them into the genome by means of regulation of specific genes expression. In this short paper, we provide a preliminary study targeting minimal models representing the topology of main signalling mechanisms. A special emphasis is given to distinguishing between monotonous (sustained) and non-monotonous (transient) time-course behaviour. A set of minimal parametrised ODE models is formulated and analysed in a workflow based on formal methods.
This work has been supported by the Czech Science Foundation grant No. GA15-11089S and by the Czech National Infrastructure grant LM2015055.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Bartocci, E., Liò, P.: Computational modeling, formal analysis, and tools for systems biology. PLoS Comput. Biol. 12(1), 1–22 (2016)
Bartocci, E., Liò, P., Merelli, E., Paoletti, N.: Multiple verification in complex biological systems: the bone remodelling case study. In: Priami, C., Petre, I., Vink, E. (eds.) Transactions on Computational Systems Biology XIV. LNCS, vol. 7625, pp. 53–76. Springer, Heidelberg (2012). doi:10.1007/978-3-642-35524-0_3
Batt, G., Belta, C., Weiss, R.: Model checking liveness properties of genetic regulatory networks. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 323–338. Springer, Heidelberg (2007)
ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state/event-based model-checking approach for the analysis of abstract system properties. Sci. Comput. Program. 76, 119–135 (2011)
Brim, L., Češka, M., Šafránek, D.: Model checking of biological systems. In: Bernardo, M., de Vink, E., Di Pierro, A., Wiklicky, H. (eds.) SFM 2013. LNCS, vol. 7938, pp. 63–112. Springer, Heidelberg (2013)
Brim, L., Češka, M., Demko, M., Pastva, S., Šafránek, D.: Parameter synthesis by parallel coloured CTL model checking. In: Roux, O., Bourdon, J. (eds.) CMSB 2015. LNCS, vol. 9308, pp. 251–263. Springer, Heidelberg (2015)
Brim, L., Demko, M., Pastva, S., Šafránek, D.: High-performance discrete bifurcation analysis for piecewise-affine dynamical systems. In: Priami, C., Petre, I., de Vink, E. (eds.) HSB 2015. LNCS, vol. 9271, pp. 58–74. Springer, Heidelberg (2015). doi:10.1007/978-3-319-26916-0_4
Calder, M., Duguid, A., Gilmore, S., Hillston, J.: Stronger computational modelling of signalling pathways using both continuous and discrete-state methods. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, pp. 63–77. Springer, Heidelberg (2006)
Courtois-Cox, S., Williams, S.M.G., Reczek, E.E., Johnson, B.W., McGillicuddy, L.T., Johannessen, C.M., Hollstein, P.E., MacCollin, M., Cichowski, K.: A negative feedback signaling network underlies oncogene-induced senescence. Cancer Cell 10(6), 459–472 (2006)
Donzé, A., Clermont, G., Langmead, C.J.: Parameter synthesis in nonlinear dynamical systems: application to systems biology. J. Comput. Biol. 17(3), 325–336 (2010)
Fages, F., Rizk, A.: On the analysis of numerical data time series in temporal logic. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 48–63. Springer, Heidelberg (2007)
Grieco, L., Calzone, L., Bernard-Pierrot, I., Radvanyi, F., Kahn-Perls, B., Thieffry, D.: Integrative modelling of the influence of mapk network on cancer cell fate decision. PLoS Comput. Biol. 9(10), 1–15 (2013)
Grosu, R., Batt, G., Fenton, F.H., Glimm, J., Le Guernic, C., Smolka, S.A., Bartocci, E.: From cardiac cells to genetic regulatory networks. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 396–411. Springer, Heidelberg (2011)
Kholodenko, B.N.: Cell-signalling dynamics in time and space. Nat. Rev. Mol. Cell Biol. 7(3), 165–176 (2006)
Klipp, E., Liebermeister, W.: Mathematical modeling of intracellular signaling pathways. BMC Neurosci. 7(1), 1–16 (2006)
Kwiatkowska, M.Z., Heath, J.K.: Biological pathways as communicating computer systems. J. Cell Sci. 122(16), 2793–2800 (2009)
Li, C., Suzuki, S., Ge, Q.W., Nakata, M., Matsuno, H., Miyano, S.: Structural modeling and analysis of signaling pathways based on Petri nets. J. Bioinform. Comput. Biol. 04(05), 1119–1140 (2006)
Li, X., Shen, L., Shang, X., Liu, W.: Subpathway analysis based on signaling-pathway impact analysis of signaling pathway. PLoS ONE 10(7), 1–19 (2015)
Rizk, A., Batt, G., Fages, F., Soliman, S.: A general computational method for robustness analysis with applications to synthetic gene networks. Bioinformatics 25(12) (2009)
Sasagawa, S., Ozaki, Y.I., Fujita, K., Kuroda, S.: Prediction and validation of the distinct dynamics of transient and sustained ERK activation. Nat. Cell Biol. 7(4), 365–373 (2005)
Wang, D.Y., Cardelli, L., Phillips, A., Piterman, N., Fisher, J.: Computational modeling of the EGFR network elucidates control mechanisms regulating signal dynamics. BMC Syst. Biol. 3(1), 1–17 (2009)
Yamada, S., Taketomi, T., Yoshimura, A.: Model analysis of difference between EGF pathway and FGF pathway. Biochem. Biophys. Res. Commun. 314(4), 1113–1120 (2004)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Hajnal, M., Šafránek, D., Demko, M., Pastva, S., Krejčí, P., Brim, L. (2016). Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. In: Cinquemani, E., Donzé, A. (eds) Hybrid Systems Biology. HSB 2016. Lecture Notes in Computer Science(), vol 9957. Springer, Cham. https://doi.org/10.1007/978-3-319-47151-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-47151-8_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-47150-1
Online ISBN: 978-3-319-47151-8
eBook Packages: Computer ScienceComputer Science (R0)