Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

Calder, M., Gilmore, S. and Hillston, J. (2006) Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Lecture Notes in Computer Science, 4230, pp. 1-23. (doi:10.1007/11905455_1)

[img]
Preview
Text
modelling1.pdf

247kB

Publisher's URL: http://dx.doi.org/10.1007/11905455_1

Abstract

This paper examines the influence of the Raf Kinase Inhibitor Protein (RKIP) on the Extracellular signal Regulated Kinase (ERK) signalling pathway [5] through modelling in a Markovian process algebra, PEPA [11]. Two models of the system are presented, a reagent-centric view and a pathway-centric view. The models capture functionality at the level of subpathway, rather than at a molecular level. Each model affords a different perspective of the pathway and analysis. We demonstrate the two models to be formally equivalent using the timing-aware bisimulation defined over PEPA models and discuss the biological significance.

Item Type:Articles
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Calder, Professor Muffy
Authors: Calder, M., Gilmore, S., and Hillston, J.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Q Science > QA Mathematics
College/School:College of Science and Engineering > School of Computing Science
Journal Name:Lecture Notes in Computer Science
Publisher:Springer Verlag
ISSN:0302-9743
Copyright Holders:Copyright © 2006 Springer
First Published:First published in Lecture Notes in Computer Science 4230:1-23
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher

University Staff: Request a correction | Enlighten Editors: Update this record