When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-19911
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

09091.CiocchettaFederica.Paper.1991.pdf (0.6 MB)


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

  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 =		{},
  annote =	{Keywords: Process algebras, NF-$kappa$B pathway, modelling, analysis}

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

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI