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)

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