We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-binders calculus and in an extended version of the calculus modelling static compartments. Our analysis of a system is able to describe the essential behaviour of each box, tracking all the possible bindings of variables, all the possible intra- and inter-boxes communications, and, finally, all the possible movements across compartments. The analysis offers a basis for establishing static checks of biological dynamic properties. We apply our analysis to an abstract specification of the interaction between a virus and cells of the immune system and to a model of the cAMP-signaling Pathway in Olfactory Sensory Neurons.
|Titolo:||A Control Flow Analysis for Beta-binders with and without Static Compartments|
|Anno del prodotto:||2009|
|Digital Object Identifier (DOI):||10.1016/j.tcs.2008.09.036|
|Appare nelle tipologie:||1.1 Articolo in rivista|