Control Flow Analysis for BioAmbients

This paper presents a static analysis for investigating properties of biological systems specified in BioAmbients. We exploit the control flow analysis to decode the bindings of variables induced by communications and to build a relation of the ambients that can interact with each other. We eventually apply our analysis to an example of gene regulation by positive feedback taken from the literature.

[1]  中尾 光輝,et al.  KEGG(Kyoto Encyclopedia of Genes and Genomes)〔和文〕 (特集 ゲノム医学の現在と未来--基礎と臨床) -- (データベース) , 2000 .

[2]  Susumu Goto,et al.  KEGG: Kyoto Encyclopedia of Genes and Genomes , 2000, Nucleic Acids Res..

[3]  Cosimo Laneve,et al.  Core Formal Molecular Biology , 2003, ESOP.

[4]  Ioannis Xenarios,et al.  DIP: The Database of Interacting Proteins: 2001 update , 2001, Nucleic Acids Res..

[5]  Aviv Regev,et al.  Representation and Simulation of Biochemical Processes Using the pi-Calculus Process Algebra , 2000, Pacific Symposium on Biocomputing.

[6]  Evgeni Selkov,et al.  MPW: the Metabolic Pathways Database , 1998, Nucleic Acids Res..

[7]  Luca Cardelli,et al.  BioAmbients: an abstraction for biological compartments , 2004, Theor. Comput. Sci..

[8]  Ioannis Xenarios,et al.  DIP: the Database of Interacting Proteins , 2000, Nucleic Acids Res..

[9]  Flemming Nielson,et al.  Validating firewalls using flow logics , 2002, Theor. Comput. Sci..

[10]  Norman W. Paton,et al.  INTERACT: An Object Oriented Protein-Protein Interaction Database , 1999, ISMB.

[11]  Michele Bugliesi,et al.  Boxed Ambients , 2001, TACS.

[12]  Flemming Nielson,et al.  Principles of Program Analysis , 1999, Springer Berlin Heidelberg.

[13]  Onami,et al.  Bio-calculus: Its Concept and Molecular Interaction. , 1999, Genome informatics. Workshop on Genome Informatics.

[14]  S. Wodak,et al.  Representing and Analysing Molecular and Cellular Function Using the Computer , 2000, Biological chemistry.

[15]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[16]  W. Fontana,et al.  “The arrival of the fittest”: Toward a theory of biological organization , 1994 .

[17]  Corrado Priami,et al.  Performance Evaluation of Mobile Processes via Abstract Machines , 2001, IEEE Trans. Software Eng..

[18]  Corrado Priami.  Language-based Performance Prediction for Distributed and Mobile Systems , 2002, Inf. Comput..

[19]  Corrado Priami,et al.  Enhanced operational semantics: a tool for describing and analyzing concurrent systems , 2001, CSUR.

[20]  Flemming Nielson,et al.  Static Analysis for the pi-Calculus with Applications to Security , 2001, Inf. Comput..

[21]  Flemming Nielson,et al.  A Succinct Solver for ALFP , 2002, Nord. J. Comput..

[22]  Nikolay A. Kolchanov,et al.  GeneNet: a gene network database and its automated visualization , 1998, Bioinform..

[23]  Gary D Bader,et al.  BIND--The Biomolecular Interaction Network Database. , 2001, Nucleic acids research.

[24]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[25]  Davide Sangiorgi,et al.  Controlling interference in ambients , 2000, POPL '00.

[26]  Ehud Shapiro,et al.  Cells as Computation , 2003, CMSB.

[27]  Jérôme Euzenat,et al.  Grasping at molecular interactions and genetic networks in Drosophila melanogaster using FlyNets, an Internet database , 1999, Nucleic Acids Res..

[28]  Flemming Nielson,et al.  Security for Mobility , 2002, FOSAD.

[29]  Corrado Priami,et al.  Application of a stochastic name-passing calculus to representation and simulation of molecular processes , 2001, Inf. Process. Lett..

[30]  T Kaminuma,et al.  Development of a cell signaling networks database. , 1997, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[31]  Xin Chen,et al.  The TRANSFAC system on gene expression regulation , 2001, Nucleic Acids Res..

[32]  古市 恵美子,et al.  シグナル伝達情報と遺伝情報を統合したSPAD(Signaling Pathway Database)の構築 , 1996 .

[33]  E. Shapiro,et al.  Cellular abstractions: Cells as computation , 2002, Nature.

[34]  Suzanne M. Paley,et al.  Integrated pathway/genome databases and their role in drug discovery , 1999 .