Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH scholarly article en Ciocchetta, Federica; Degasperi, Andrea; Heath, John; Hillston, Jane License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-19911

; ; ;

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



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 =	{Ciocchetta, Federica and Degasperi, Andrea and Heath, John and Hillston, Jane},
  title =	{{Modelling and analysis of the NF-\$kappa\$B pathway in Bio-PEPA}},
  booktitle =	{Formal Methods in Molecular Biology},
  pages =	{1--18},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9091},
  editor =	{Rainer Breitling and David Roger Gilbert and Monika Heiner and Corrado Priami},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-19911},
  doi =		{10.4230/DagSemProc.09091.5},
  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 | Privacy Published by LZI