Research On Application For Mobile Process Calculi And Their Static Analysis Techniques To Systems Biology

In order to apply the process algebra for concurrent and distributed system to Systems Biology, the process calculi for mobility will be used to model the biological systems, the static analysis for this kind of calculi will be developed to validate their properties.Process calculus is any mathematical structure satisfying the axioms given for the basic operators. The history of process algebra will be traced back to the early seventies of the twentieth century. The aim is to give semantics of the program containing parallel operators. By the early eighties, process algebra is established as a separate area of research. In the following years, research on networks of processes where processes are mobile and configuration of communication links is dynamic need to extend process calculi with mobility. Many kinds of process calculi for mobility have been formulated, such as Mobile Ambients, Boxed Ambients, Mobile Safe Ambients, BioAmbients and so on.Static analysis tools examine the text of a program statically for predicting safe and computable approximations to the set of values or behaviors arising dynamically during the execution, without attempting to execute it. It aims at analyzing properties of a program that hold in all executions regardless of the actual data upon which the program operates and regardless of the specific environment in which it executes. There are several approaches to static analysis: Data Flow Analysis, Control Flow Analysis, Abstract Interpretation and Type Systems. In this paper, control flow analysis and abstract interpretation for mobile calculi based on ambient will be developed to recode the sub-ambient, mobile and communication abilities directly in each ambient.Systems biology is a growing field in which researchers seek to model and understand the structural, genetic, and dynamic relationships of living systems and their biological parts at scales that range from biochemical pathways and small bio-molecular complexes to whole organisms.Mobile process calculi as well as their static analysis techniques will be apply to this field to model and analysis biological systems.This paper is organized as follows: In chapter 2 the process calculi for mobility based on ambient will be introduced; In chapter 3 the static techniques based on abstract interpretation for Mobile Ambients and Mobile Safe Ambients are developed;In chapter 4 the static techniques based on control flow analysis for Mobile Ambients and Boxed Ambi-ents are developed; In chapter 5 the models of the ABC transporter based onπ-calculus, the Na~+ - K~+ - AT Pase based on the Bioambients are designed, and the properties of the model of the Na~+ - K~+ - ATPase is validated using the static scheme of control flow analysis just having been developed.The result of the research indicates that mobile process calculi as well as their static analysis techniques can be as the main modeling, simulation and analysis tools for Systems Biology.