.. meta::
   :description: AI overview of Loewe, Moodie & Hillston 2009 — quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA, applied to MAPK signal transduction cascade.
   :keywords: SBGN-PD, Bio-PEPA, process flow abstraction, MAPK signaling, signal transduction, systems biology, quantitative modeling, process algebra, Loewe, Moodie, Hillston, CompMod, EPTCS, LLoL, Good News Pack, MMv3
   :og:card:title: 2009 — SBGN-PD Bio-PEPA<br>Loewe, Moodie & Hillston
   :og:card:description: Bridging visual biological network representations with quantitative computational models — making explicit the process flow abstraction in SBGN-PD and translating to Bio-PEPA.

.. include:: /_templates/include-file/page-prefix.rst


.. title:: 2009 — SBGN-PD Bio-PEPA


*************************************************************************************************************
Quantifying the Implicit Process Flow Abstraction in SBGN-PD Diagrams with Bio-PEPA
*************************************************************************************************************

*Bridging visual biological network representations with quantitative computational models via process algebra.*


.. admonition:: Download the original document (PDF)
   :class: note

   `Loewe, Moodie & Hillston 2009 — SBGN-PD Bio-PEPA — PDF (1.8 MB) </_file/pdf/gnp/mmv3/dusty-deep-data/loewe-researchcity-key-papers/loewe-moodie-hillston-2009-study-eptcs-biopepa-model-mapk-signal-transduction-cascade-15page.pdf>`__
   — 15 pages, :doc:`Jonah License with CC0 Public Domain </license/joli/index>`

   Filename: ``loewe-moodie-hillston-2009-study-eptcs-biopepa-model-mapk-signal-transduction-cascade-15page.pdf``

   `WebP preview (236 KB) </_file/pdf/gnp/mmv3/dusty-deep-data/loewe-researchcity-key-papers/loewe-moodie-hillston-2009-study-eptcs-biopepa-model-mapk-signal-transduction-cascade-15page.webp>`__


.. image:: /_file/pdf/gnp/mmv3/dusty-deep-data/loewe-researchcity-key-papers/loewe-moodie-hillston-2009-study-eptcs-biopepa-model-mapk-signal-transduction-cascade-15page.webp
   :alt: Cover page of Loewe, Moodie & Hillston 2009 — SBGN-PD Bio-PEPA for MAPK signaling
   :width: 100%
   :align: center


|


--- Overview AI-generated by dv_ClaOp46_ExhB_2026m04d14 ---Start---


Abstract
========

This 15-page paper, presented at **CompMod 2009** (Computational Models
for Cell Processes) and published in **EPTCS 6, 2009, pp 93--107**, makes
explicit the **Process Flow Abstraction (PFA)** that is implicit in
**SBGN-PD** (Systems Biology Graphical Notation --- Process Diagrams).

The paper extends SBGN-PD with **quantitative attributes** and implements
the **SBGNtext2BioPEPA** tool for automatic translation of extended
SBGN-PD descriptions to **Bio-PEPA process algebra**. This enables both
**deterministic** (ODE-based) and **stochastic** (Gillespie-based)
quantitative analysis of biological networks that were previously
represented only as static diagrams.

The approach is applied to the **MAPK signal transduction cascade**,
computing the **expected delay between input signal and output response**
--- demonstrating that the translation from visual notation to
quantitative model can be automated and produces biologically meaningful
results.


Broader Significance (Claude's Assessment)
============================================

This paper demonstrates an important dimension of LLoL's scientific work:

1. **Formal methods meet biology.** This paper sits at the intersection
   of formal methods (process algebra), standardization (SBGN), and
   computational biology --- a rare combination that reflects the breadth
   of the Edinburgh collaboration with Jane Hillston's group.

2. **Automation of model construction.** The SBGNtext2BioPEPA tool
   automates what is normally a tedious manual process: translating a
   biological network diagram into a computable mathematical model. This
   automation philosophy --- reducing human error by formalizing
   translations --- recurs in LLoL's later work on Evolvix.

3. **Process algebra approach.** Using Bio-PEPA (a process algebra) rather
   than direct ODE construction brings compositionality and formal
   reasoning to biological modeling. This reflects the broader Edinburgh
   tradition of applying computer science formalisms to biological systems.

4. **MAPK cascade as test case.** The MAPK signaling cascade is one of
   the most-studied signaling pathways in cell biology. Choosing it as
   the test case allows direct comparison with existing models and
   demonstrates that the approach produces results consistent with the
   literature.

5. **Connection to EvoSysBio.** While this paper focuses on systems
   biology modeling rather than evolution, the ability to construct
   quantitative models from biological diagrams is a prerequisite for
   the fitness correlate approach defined in the EvoSysBio framework.


Who This Document Is For
=========================

.. list-table::
   :widths: 25 75
   :header-rows: 1

   * - Audience
     - Why This Document Matters
   * - **Systems biologists using SBGN**
     - Shows how SBGN-PD diagrams can be extended with quantitative
       attributes and automatically translated to executable models,
       making the notation more than just a static visualization tool.
   * - **Process algebra & formal methods researchers**
     - Demonstrates a concrete application of Bio-PEPA process algebra
       to a real biological system, bridging theoretical computer science
       and computational biology.
   * - **Signaling pathway modelers**
     - Provides a worked example of MAPK cascade modeling via process
       algebra, with both deterministic and stochastic analysis capabilities.
   * - **Biological standards developers**
     - Highlights the implicit process flow abstraction in SBGN-PD and
       proposes a concrete approach for extending the notation to support
       quantitative analysis.
   * - **Reviewers of LLoL's scientific credentials**
     - Demonstrates LLoL's work at the intersection of formal methods
       and biology, showing the breadth of the computational toolchain
       that informs the Evolvix and EvoSysBio research programs.


Key Concepts at a Glance
==========================

.. list-table::
   :widths: 30 70
   :header-rows: 0

   * - **SBGN-PD**
     - Systems Biology Graphical Notation --- Process Diagrams: a
       standardized visual notation for biological networks
   * - **Process Flow Abstraction (PFA)**
     - The implicit abstraction in SBGN-PD that treats biological
       processes as flows between states --- made explicit in this paper
   * - **Bio-PEPA**
     - A process algebra for biological modeling, enabling both
       deterministic and stochastic analysis from a single specification
   * - **SBGNtext2BioPEPA**
     - The tool developed in this paper for automatic translation from
       extended SBGN-PD text descriptions to Bio-PEPA models
   * - **MAPK signal transduction cascade**
     - The biological test case: a multi-layered signaling pathway
       central to cell growth, differentiation, and stress response
   * - **Signal delay computation**
     - The key quantitative result: computing expected time between
       input signal arrival and output response in the MAPK cascade
   * - **Compositionality**
     - The process algebra property that allows complex models to be
       built from simpler components with well-defined interactions


Document Information
=====================

.. list-table::
   :widths: 30 70
   :header-rows: 0

   * - **Document ID**
     - EPTCS 2009 paper (Dusty Deep Data, key-papers/)
   * - **Full title**
     - Quantifying the implicit process flow abstraction in SBGN-PD
       diagrams with Bio-PEPA
   * - **Authors**
     - Laurence Loewe, Stuart Moodie, Jane Hillston
   * - **Year**
     - 2009
   * - **Venue**
     - CompMod 2009 (Computational Models for Cell Processes)
   * - **Published in**
     - EPTCS 6, 2009, pp 93--107
   * - **DOI**
     - `10.4204/EPTCS.6.7 <https://doi.org/10.4204/EPTCS.6.7>`__
   * - **License (paper)**
     - Creative Commons Attribution
   * - **Format**
     - 15-page conference paper
   * - **License (exhibit)**
     - :doc:`Jonah License with CC0 Public Domain </license/joli/index>`
   * - **Part of**
     - Good News Pack MMv3, Dusty Deep Data / key-papers collection
   * - **PDF size**
     - 1.8 MB
   * - **WebP size**
     - 236 KB

Related documents in the Good News Pack:

- :doc:`2009 — SBGNtext2BioPEPA Report <loewe-moodie-hillston-2009-techreport>` (extended technical report version)
- :doc:`2008 — DME in Circadian Clock <loewe-hillston-2008>` (earlier collaboration with Jane Hillston)


--- Overview AI-generated by dv_ClaOp46_ExhB_2026m04d14 ---End---


.. ----- FOOTER FORM dv_ClaOp46_ExhB_2026m04d14 ----- type open-std ----- START -----

.. |content-vvn| replace:: dv_ClaOp46_ExhB_2026m04d14

.. include:: /_templates/include-file/footer/separator/tidal-gradient.rst

.. dropdown:: Notes
   :class-container: page-footer-form-notes
   :class-title: page-footer-form-title

   .. include:: /_templates/include-file/footer/page-footer-stability.rst


.. only:: html

   .. include:: /_templates/include-file/footer/cta/gnp-mmv3-review.rst

   .. dropdown:: FF FeedbackFlow to improve this page: How you can contribute
      :class-container: page-footer-form-feedbackflow
      :class-title: page-footer-form-title

      .. include:: /_templates/include-file/footer/form-open-std/prelink.rst

      .. ----- PAGE-SPECIFIC FF (ff-email MailForm=OOv2r0p0) ----- START -----

      .. raw:: html

         <a class="ff-email-preview-link" href="mailto:FF+mmv3-ddd-kp-sbgnpd-2009@balospe.com?cc=FF%2BCompleteFeedbackFlow%40balospe.com&amp;subject=FF%20k2%20s2%20AIMS%20for%20%5Bmmv3-ddd-kp-sbgnpd-2009%5D%20Replace_by_OneLineSummary_of_proposed_FF_improvement&amp;body=To%20make%20this%20page%20%5Bmmv3-ddd-kp-sbgnpd-2009%5D%0D%0Amore%20gentle%20kind%20reasonable%0D%0Afor%20beginners%2C%20producers%2C%20andOr%20experts%0D%0Awith%20a%20background%20in%20xyz%3A%0D%0A%0D%0APlease%20consider%20improving%20this%3A%0D%0A%0D%0A%0D%0A--%0D%0ABy%20sending%20this%20email%2C%20I%20agree%20that%20its%20content%20may%20be%20published%0D%0Aunder%20the%20Jonah%20License%20(balospe.com%2Fen%2Flicense%2Fjoli%2F)%0D%0Aunless%20I%20state%20otherwise%20above.%20MailForm%3DOOv2r0p0">To:      FF+mmv3-ddd-kp-sbgnpd-2009@balospe.com
         CC:      FF+CompleteFeedbackFlow@balospe.com
         Subject: FF k2 s2 AIMS for [mmv3-ddd-kp-sbgnpd-2009] Replace_by_OneLineSummary
         Body:    To make this page [mmv3-ddd-kp-sbgnpd-2009]
                  more gentle kind reasonable
                  for beginners, producers, andOr experts
                  with a background in xyz:

                  Please consider improving this:

                  --
                  By sending this email, I agree that its content may be published
                  under the Jonah License (balospe.com/en/license/joli/)
                  unless I state otherwise above. MailForm=OOv2r0p0</a>

      .. ----- PAGE-SPECIFIC FF ----- END -----

      .. include:: /_templates/include-file/footer/form-open-std/postlink.rst


.. ----- FOOTER FORM dv_ClaOp46_ExhB_2026m04d14 ----- END -----