zbMATH — the first resource for mathematics

An analysis for proving temporal properties of biological systems. (English) Zbl 1168.68438
Kobayashi, Naoki (ed.), Programming languages and systems. 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8–10, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-48937-5/pbk). Lecture Notes in Computer Science 4279, 234-252 (2006).
Summary: This paper concerns the application of formal methods to biological systems, modeled specifically in BioAmbients [A. Regev, E. M. Panina, W. Silverman, L. Cardelli and E. Shapiro, “BioAmbients: an abstraction for biological compartments”, Theor. Comput. Sci. 325, No. 1, 141–167 (2004; Zbl 1069.68569)], a variant of the Mobile Ambients [L. Cardelli and A. D. Gordon, “Mobile ambients”, Theor. Comput. Sci. 240, No. 1, 177–213 (2000; Zbl 0954.68108)] calculus. Following the semantic-based approach of abstract interpretation, we define a new static analysis that computes an abstract transition system. Our analysis has two main advantages with respect to the analyses appearing in literature: (i) it is able to address temporal properties which are more general than invariant properties; (ii) it supports, by means of a particular labeling discipline, the validation of systems where several copies of an ambient may appear.
For the entire collection see [Zbl 1133.68007].

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C40 Biochemistry, molecular biology
Full Text: DOI