Context Dependent Analysis of BioAmbients |
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson
|
| Abstract | BioAmbients is a derivative of mobile ambients that has shown
promise of describing interesting features of the behaviour of
biological systems. The technical contribution of this paper is to
extend the Flow Logic approach to static analysis with a couple of
new techniques in order to give precise information about the
behaviour of systems written in BioAmbients. Applying the
development to a simple model of a cell releasing nutrients from
food compunds we illustrate how the proposed analysis does indeed
improve on previous efforts. |
| Keywords | Static analysis, abstract interpretation, BioAmbients |
| Type | Conference paper [With referee] |
| Conference | Emerging Aspects of Abstract Interpretation 2006 |
| Editors | Roberto Giacobazzi and Francesco Ranzato |
| Year | 2006 Month March |
| Note | Printed in informal proceedings only |
| Electronic version(s) | [pdf] |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |