Abstract
System-level modeling and analysis of biological phenomena have become an important research topic amongst different fields including mathematics, computer science, electrical and system engineering. This is a consequence of the recent development in these fields which can be utilized to understand the dynamics of complex biological organisms such as cancer, malaria and diabetes, etc. However, the concept of model refinement (i.e., the transformation of an abstract models into a detailed model) is largely unexplored in biology. In this paper, we describe our ongoing project which aims at combining the concept of model refinement and temporal logic for the analysis of a wide class of biological systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abrial, J.-R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York, NY, USA (1996)
Abrial, J.-R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York, NY, USA (2010)
Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM 43(1), 116–146 (1996)
Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling and model perturbation. In: Priami, C., Back, R.-J., Petre, I. (eds.) Transactions on Computational Systems Biology XI. LNCS, vol. 5750, pp. 116–137. Springer, Heidelberg (2009). doi:10.1007/978-3-642-04186-0_6
Donzé, A.: Breach, a toolbox for verification and parameter synthesis of hybrid systems. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 167–170. Springer, Heidelberg (2010). doi:10.1007/978-3-642-14295-6_17
Donzé, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92–106. Springer, Heidelberg (2010). doi:10.1007/978-3-642-15297-9_9
Gratie, D.E., Iancu, B., Azimi, S., Petre, I.: Quantitative model refinement in four different frameworks, with applications to the heat shock response. In: Petre, L., Sekerinski, E. (eds.) From Action Systems to Distributed Systems, pp. 201–214. Taylor & Francis, Boca Raton (2016)
Gratie, D.E., and Petre, I.: Hiding the combinatorial state space explosion of biomodels through colored petri nets. Annals of University of Bucharest, LXI, pp. 23–41 (2014)
Iancu, B., Czeizler, E., Czeizler, E., Petre, I.: Quantitative refinement of reaction models. Int. J. Unconventional Comput. 8(5–6), 529–550 (2012)
Maler, O., Nickovic, D., Pnueli, A.: Checking temporal properties of discrete, timed and continuous behaviors. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol. 4800, pp. 475–505. Springer, Heidelberg (2008). doi:10.1007/978-3-540-78127-1_26
Petre, I., Mizera, A., Hyder, C.L., Meinander, A., Mikhailov, A., Morimoto, R.I., Sistonen, L., Eriksson, J.E., Back, R.-J.: A simple mass-action model for the eukaryotic heat shock response and its mathematical validation. Nat. Comput. 10(1), 595–612 (2011)
Sanwal, U., Petre, L., and Petre, I.: Stepwise construction of a metabolic network in Event-B: the heat shock response. TUCS Technical reports, (1160) (2016)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Sanwal, U., Siddique, U. (2017). Combining Refinement and Signal-Temporal Logic for Biological Systems. In: Geuvers, H., England, M., Hasan, O., Rabe, F., Teschke, O. (eds) Intelligent Computer Mathematics. CICM 2017. Lecture Notes in Computer Science(), vol 10383. Springer, Cham. https://doi.org/10.1007/978-3-319-62075-6_23
Download citation
DOI: https://doi.org/10.1007/978-3-319-62075-6_23
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-62074-9
Online ISBN: 978-3-319-62075-6
eBook Packages: Computer ScienceComputer Science (R0)