Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms

  • Sohei ItoEmail author
  • Kenji Osari
  • Shigeki Hagihara
  • Naoki Yonezaki
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 881)


In this work we present a compositional approach to qualitatively analyse homeostasis of gene networks. The problem of analysing homeostasis of gene networks is 2EXPTIME-complete in the sizes of the network specifications. Due to this high complexity of the problem, only small networks consisting of a few genes were successfully analysed. Since the analysis of homeostasis of gene networks is based on the technique of realisability checking of Linear Temporal Logic formulae, we can apply a compositional algorithm devised to mitigate the computational difficulty in realisability problems. For this, we develop a clustering algorithm to divide network specifications in suitable sizes to utilise the compositional algorithm. We report the experimental results of analyses of homeostasis of several gene networks with our proposed method. Our experiments show a fair improvement especially in the analyses of larger networks.


Gene regulatory network Systems biology Homeostasis Temporal logic Realisability Formal method 


  1. 1.
    Abadi, M., Lamport, L., Wolper, P.: Realizable and unrealizable specifications of reactive systems. In: Ausiello, G., Dezani-Ciancaglini, M., Della Rocca, S.R. (eds.) ICALP 1989. LNCS, vol. 372, pp. 1–17. Springer, Heidelberg (1989). Scholar
  2. 2.
    Aoshima, T.: On a verification system for reactive system specifications. Ph.D. thesis, Tokyo Institute of Technology (2003)Google Scholar
  3. 3.
    Arthur, D., Vassilvitskii, S.: K-means++: the advantages of careful seeding. In: Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2007, pp. 1027–1035. Society for Industrial and Applied Mathematics, Philadelphia (2007)Google Scholar
  4. 4.
    Bloem, R., Cimatti, A., Greimel, K., Hofferek, G., Könighofer, R., Roveri, M., Schuppan, V., Seeber, R.: RATSY – a new requirements analysis tool with synthesis. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 425–429. Springer, Heidelberg (2010). Scholar
  5. 5.
    Bohy, A., Bruyère, V., Filiot, E., Jin, N., Raskin, J.-F.: Acacia+, a tool for LTL synthesis. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 652–657. Springer, Heidelberg (2012). Scholar
  6. 6.
    Ehlers, R.: Symbolic bounded synthesis. Formal Methods Syst. Des. 40(2), 232–262 (2012). Scholar
  7. 7.
    Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature 403, 335–338 (2000)CrossRefGoogle Scholar
  8. 8.
    Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics (B), pp. 995–1072. MIT Press, Cambridge (1990)Google Scholar
  9. 9.
    Filiot, E., Jin, N., Raskin, J.-F.: An antichain algorithm for LTL realizability. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 263–277. Springer, Heidelberg (2009). Scholar
  10. 10.
    Filiot, E., Jin, N., Raskin, J.F.: Antichains and compositional algorithms for LTL synthesis. Formal Methods Syst. Des. 39(3), 261–296 (2011)CrossRefGoogle Scholar
  11. 11.
    Ito, S., Hagihara, S., Yonezaki, N.: A qualitative framework for analysing homeostasis in gene networks. In: Proceedings of BIOINFORMATICS 2014, pp. 5–16 (2014)Google Scholar
  12. 12.
    Ito, S., Hagihara, S., Yonezaki, N.: Approximate analysis of homeostasis of gene networks by linear temporal logic using network motifs. In: BIOINFORMATICS 2015 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Lisbon, Portugal, 12–15 January 2015, pp. 93–101 (2015)Google Scholar
  13. 13.
    Ito, S., Hagihara, S., Yonezaki, N.: Formulation of homeostasis by realisability on linear temporal logic. In: Plantier, G., Schultz, T., Fred, A., Gamboa, H. (eds.) BIOSTEC 2014. CCIS, vol. 511, pp. 149–164. Springer, Cham (2015). Scholar
  14. 14.
    Ito, S., Ichinose, T., Shimakawa, M., Izumi, N., Hagihara, S., Yonezaki, N.: Modular analysis of gene networks by linear temporal logic. J. Integr. Bioinf. 10(2), 12–23 (2013). Scholar
  15. 15.
    Ito, S., Ichinose, T., Shimakawa, M., Izumi, N., Hagihara, S., Yonezaki, N.: Qualitative analysis of gene regulatory networks by temporal logic. Theor. Comput. Sci. 594(23), 151–179 (2015). Scholar
  16. 16.
    Ito, S., Izumi, N., Hagihara, S., Yonezaki, N.: Qualitative analysis of gene regulatory networks by satisfiability checking of linear temporal logic. In: Proceedings of BIBE 2010, pp. 232–237 (2010).
  17. 17.
    Ito, S., Osari, K., Hagihara, S., Yonezaki, N.: Efficient analysis of homeostasis of gene networks with compositional approach. In: Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017) - Volume 3: BIOINFORMATICS, Porto, Portugal, 21–23 February 2017, pp. 17–28 (2017).
  18. 18.
    Jobstmann, B., Bloem, R.: Optimizations for LTL synthesis. In: Proceedings of the Formal Methods in Computer Aided Design, FMCAD 2006, pp. 117–124. IEEE Computer Society, Washington (2006)Google Scholar
  19. 19.
    Jobstmann, B., Galler, S., Weiglhofer, M., Bloem, R.: Anzu: a tool for property synthesis. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 258–262. Springer, Heidelberg (2007). Scholar
  20. 20.
    Mori, R., Yonezaki, N.: Several realizability concepts in reactive objects. In: Information Modeling and Knowledge Bases IV, pp. 407–424 (1993)Google Scholar
  21. 21.
    Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: POPL 1989: Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 179–190. ACM, New York (1989)Google Scholar
  22. 22.
    Ward, J.H.: Hierarchical grouping to optimize an objective function. J. Am. Stat. Assoc. 58(301), 236–244 (1963)MathSciNetCrossRefGoogle Scholar
  23. 23.
    Zhang, Q., Andersen, M.E.: Dose response relationship in anti-stress gene regulatory networks. PLoS Comput. Biol. 3(3), e24 (2007)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  • Sohei Ito
    • 1
    Email author
  • Kenji Osari
    • 2
  • Shigeki Hagihara
    • 3
  • Naoki Yonezaki
    • 4
  1. 1.National Fisheries UniversityShimonosekiJapan
  2. 2.Yahoo Japan CorporationTokyoJapan
  3. 3.Tohoku University of Community Service and ScienceSakataJapan
  4. 4.Tokyo Denki UniversityInzaiJapan

Personalised recommendations