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.
Recent progresses in post-genomic biology allow addressing issues at the system level through the coupling of experimental and modeling approaches that constitute the core of Systems Biology (SB). The challenge for researchers is to integrate disparate data into models to infer useful biological knowledge. Problems which are questioning Model-Driven Engineering (MDE) deal with complexity, systems modeling (including modularity and structure/behavior relationships), models networking and integration, domain-specific language, etc. Among these issues, ten arguments are presented to consider the conceptual convergence and cross-fertilization of SB with MDE. Current models in SB are reviewed and the main requirements to conduct models integration are identified. Some perspectives are provided towards the translation of high-level SB descriptions into formal languages for performing static and dynamic analyses.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.