Abstract
We developed a theoretical framework to analyse gene regulatory networks. Our framework is based on the formal methods which are well-known techniques to analyse software/hardware systems. Behaviours of gene networks are abstracted into transition systems which has discrete time structure. We characterise possible behaviours of given networks by linear temporal logic (LTL) formulae. By checking the satisfiability of LTL formulae, we analyse whether all/some behaviours of given networks satisfy given biological properties. Due to the complexity of LTL satisfiability checking, analyses of large networks are generally intractable in this method. To mitigate this computational difficulty, we proposed approximate analysis method using network motifs to circumvent the computational difficulty of LTL satisfiability checking. Experiments show that our approximate method is surprisingly efficient.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Note that the symbol \(x_y\) is used for both the threshold and proposition but we can clearly distinguish them from the context.
- 2.
This contrasts with the framework in which behaviours are described in ordinary differential equations.
- 3.
- 4.
The following computational environment was used: openSUSE 11.0, Intel(R) Pentium(R) D CPU 3.00Â GHz and 2Â GB of RAM.
References
Ito, S., Izumi, N., Hagihara, S., Yonezaki, N.: Qualitative analysis of gene regulatory networks by satisfiability checking of linear temporal logic. In: 10th IEEE International Conference on Bioinformatics & Bioengineering, pp. 232–237. IEEE Computer Society (2010)
Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 179–190. ACM Press (1989)
Abadi, M., Lamport, L., Wolper, P.: Realizable and unrealizable specifications of reactive systems. In: Ausiello, G., Dezani-Ciancaglini, M., Rocca, S.R.D. (eds.) Automata, Languages and Programming. LNCS, vol. 372, pp. 1–17. Springer, Heidelberg (1989)
Mori, R., Yonezaki, N.: Several realizability concepts in reactive objects. In: Information Modeling and Knowledge Bases IV, pp. 407–424 (1993)
Sistla, A.P., Clarke, E.M.: The complexity of propositional linear temporal logics. J. ACM 32, 733–749 (1985)
Alon, U.: Network motifs: theory and experimental approaches. Nat. Rev. Genet. 8, 450–461 (2007)
Thomas, R., Kauffman, M.: Multistationarity, the basis of cell differentiation and memory. II. logical analysis of regulatory networks in terms of feedback circuits. Chaos 11, 180–195 (2001)
Snoussi, E., Thomas, R.: Logical identification of all steady states: the concept of feedback loop characteristic states. Bull. Math. Biol. 55, 973–991 (1993)
Farwer, B.: \(\omega \)-Automata. In: Grädel, E., Thomas, W., Wilke, T. (eds.) Automata Logics, and Infinite Games: A Guide to Current Research, pp. 3–20. Springer-Verlag New York, Inc., New York (2002)
Vardi, M.Y., Wolper, P.: Reasoning about infinite computations. Inf. Comput. 115, 1–37 (1994)
Aoshima, T., Sakuma, K., Yonezaki, N.: An efficient verification procedure supporting evolution of reactive system specifications. In: 4th International Workshop on Principles of Software Evolution, pp. 182–185. ACM, New York (2001)
Ito, S., Ichinose, T., Shimakawa, M., Izumi, N., Hagihara, S., Yonezaki, N.: Modular analysis of gene networks by linear temporal logic. J. Integr. Bioinform. 10, 216 (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ito, S., Ichinose, T., Shimakawa, M., Izumi, N., Hagihara, S., Yonezaki, N. (2014). Formal Analysis of Gene Networks Using Network Motifs. In: Fernández-Chimeno, M., et al. Biomedical Engineering Systems and Technologies. BIOSTEC 2013. Communications in Computer and Information Science, vol 452. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-44485-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-662-44485-6_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-44484-9
Online ISBN: 978-3-662-44485-6
eBook Packages: Computer ScienceComputer Science (R0)