License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-7093
URL: http://drops.dagstuhl.de/opus/volltexte/2006/709/

Pilegaard, Henrik ; Riis-Nielson, Hanne ; Nielson, Flemming

Context Dependent Analysis of BioAmbients

pdf-format:
Dokument 1.pdf (304 KB)


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.

BibTeX - Entry

@InProceedings{pilegaard_et_al:DSP:2006:709,
  author =	{Henrik Pilegaard and Hanne Riis-Nielson and Flemming Nielson},
  title =	{Context Dependent Analysis of BioAmbients},
  booktitle =	{Simulation and Verification of Dynamic Systems},
  year =	{2006},
  editor =	{David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
  number =	{06161},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/709},
  annote =	{Keywords: Static analysis, abstract interpretation, BioAmbients}
}

Keywords: Static analysis, abstract interpretation, BioAmbients
Seminar: 06161 - Simulation and Verification of Dynamic Systems
Issue date: 2006
Date of publication: 11.09.2006


DROPS-Home | Fulltext Search | Imprint Published by LZI