License
When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-19911
URL: http://drops.dagstuhl.de/opus/volltexte/2009/1991/
Go to the corresponding Portal


Ciocchetta, Federica ; Degasperi, Andrea ; Heath, John ; Hillston, Jane

Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA

pdf-format:
Document 1.pdf (567 KB)


Abstract

In this work we present a Bio-PEPA model describing the Nuclear Factor $kappa$B (NF-$kappa$B) signalling pathway. In particular our model focuses on the dynamic response of NF-$kappa$B to an external stimulus. Each biochemical species in the pathway is represented by a specific Bio-PEPA component and the external stimulus is abstracted by Bio-PEPA events. The Bio-PEPA model is a formal intermediate representation of the pathway on which various kinds of analysis can be performed. Both stochastic and deterministic simulations are carried out to validate our model against the experimental data in the literature and to verify some properties, such as the impact of the stimulus duration and of the NF-$kappa$B initial amount on the behaviour of some species. Finally, sensitivity analysis is considered to investigate the most influential parameters of the model.

BibTeX - Entry

@InProceedings{ciocchetta_et_al:DSP:2009:1991,
  author =	{Federica Ciocchetta and Andrea Degasperi and John Heath and Jane Hillston},
  title =	{Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA},
  booktitle =	{Formal Methods in Molecular Biology},
  year =	{2009},
  editor =	{Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
  number =	{09091},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2009/1991},
  annote =	{Keywords: Process algebras, NF-$kappa$B pathway, modelling, analysis}
}

Keywords: Process algebras, NF-$kappa$B pathway, modelling, analysis
Seminar: 09091 - Formal Methods in Molecular Biology
Issue Date: 2009
Date of publication: 05.05.2009


DROPS-Home | Fulltext Search | Imprint Published by LZI