Abstract
We propose black box checking as a framework for analyzing biochemical networks. Black box checking was originally introduced by Peled, Yannakakis and Vardi in the context of formal verification of concurrent systems as a strategy that combines model checking and testing, as two main techniques in that area. Based on the natural analogy between biochemical networks and concurrent systems we argue that black box checking can be used to design and perform experiments in a systematic manner, and also to learn about the network underlying mechanisms. We also discuss potential applications with emphasis on forward engineering of biochemical networks.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation 75, 87–106 (1987)
Antoniotti, M., Policriti, A., Ugel, N., Mishra, B.: Model Building and Model Checking Biochemical Processes. Cell Biochemistry and Biophysics 38, 271–286 (2003)
Batt, G., Bergamini, D., de Jong, H., Garavel, H., Mateescu, R.: Model Checking Genetic Regulatory Networks Using GNA and CADP. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 158–163. Springer, Heidelberg (2004)
Bower, J.M., Belouri, H. (eds.): Computational Modeling of Genetic and Biochemical Networks. MIT Press, Cambridge (2001)
Bryant, C.H., Muggleton, S.H., Oliver, S.G., Kell, D.B., Reiser, P., King, R.D.: Combining Inductive Logic Programming, Active Learning and Robotics to Discover the Function of Genes. Electronic Transactions in Artificial Intelligence 6-B1(012), 1–36 (2001)
Chabrier, N., Fages, F.: Symbolic Model Checking of Biochemical Networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 149–162. Springer, Heidelberg (2003)
Chow, T.S.: Testing Software Design Modeled by Finite State Machines. IEEE Transactions on Software Engineering SE-4(2), 178–187 (1978)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2001)
Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)
Peled, D.: Model Checking and Testing Combined. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol. 2719, pp. 47–63. Springer, Heidelberg (2003)
Peled, D., Vardi, M.Y., Yannakakis, M.: Black Box Checking. Journal of Automata, Languages and Combinatorics 7(2), 225–246 (2002)
Rao, C., Arkin, A.: Control Motifs for Intracellular Regulatory Networks. Annual Review of Biomedical Engineering 3, 391–419 (2001)
Regev, A., Silverman, W., Shapiro, E.Y.: Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra. In: Pacific Symposium on Biocomputing, 2001, pp. 459–470 (2001)
Somogyi, R., Fuhrman, S., Wen, X.: Genetic Network Inference in Computational Models and Applications to Large Scale Gene Expression Data, in [4] above (2001)
Vasilevskii, M.P.: Failure Diagnosis of Automata. Kibernetika 4, 98–108 (1973)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bošnački, D. (2005). Black Box Checking for Biochemical Networks. In: Danos, V., Schachter, V. (eds) Computational Methods in Systems Biology. CMSB 2004. Lecture Notes in Computer Science(), vol 3082. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25974-9_18
Download citation
DOI: https://doi.org/10.1007/978-3-540-25974-9_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25375-4
Online ISBN: 978-3-540-25974-9
eBook Packages: Computer ScienceComputer Science (R0)