A static analysis for Brane Calculi providing global occurrence counting information
| Autor: | Antonio Bernini, Linda Brodo, Roberta Gori, Chiara Bodei, Diana Hermith, Francesca Levi |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Pure mathematics
General Computer Science Structure (category theory) Abstract interpretation 0102 computer and information sciences 02 engineering and technology Static analysis 01 natural sciences Theoretical Computer Science Theoretical physics Membrane 010201 computation theory & mathematics Brane calculi 0202 electrical engineering electronic engineering information engineering Brane Calculi 020201 artificial intelligence & image processing Abstract interpretation Brane Calculi Occurrence counting Static analysis Brane Occurrence counting Time complexity Mathematics |
| Zdroj: | Theoretical Computer Science. 696:11-51 |
| ISSN: | 0304-3975 |
| DOI: | 10.1016/j.tcs.2017.07.008 |
| Popis: | In this paper we propose a static analysis for Brane Calculi [1] , based on Abstract Interpretation [2] techniques. Our analysis statically approximates the dynamic behaviour of Brane systems, by providing a description of the possible hierarchical structure of membranes and of the processes possibly associated to each membrane, together with global occurrence counting information. Our analysis can be computed in polynomial time. We apply it to investigate several biological systems in which occurrence counting information plays a crucial role. In particular, our case study concerns the formation of the haemoglobin polymer in presence of alterations and investigate the influence that such alterations have on the ability of the haemoglobin polymer to bind oxygen molecules. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect