Defining a Textual Representation for SBGN Process Diagrams and Translating It to Bio-PEPA for Quantitative Analysis of the MAPK Signal Transduction Cascade

Full technical details behind the SBGN-PD quantification approach — from visual biological diagrams to executable quantitative models.

Download the original document (PDF)

Loewe, Moodie & Hillston 2009 — SBGNtext2BioPEPA Technical Report — PDF (4.8 MB) — 29 pages, Jonah License with CC0 Public Domain

Filename: loewe-moodie-hillston-2009-techreport-sgbntext2biopepa-mapk-signal-transduction-cascade-29page.pdf

WebP preview (120 KB)

— Overview AI-generated by dv_ClaOp46_ExhB_2026m04d14 —Start—

Abstract

This 29-page technical report (EDI-INF-RR-1334, School of Informatics, University of Edinburgh, 24 July 2009) provides the extended version of the EPTCS conference paper on quantifying SBGN-PD diagrams with Bio-PEPA.

The report defines SBGNtext — a textual representation for SBGN-PD (Systems Biology Graphical Notation — Process Diagrams) — and implements the SBGNtext2BioPEPA translation tool that automatically converts SBGNtext descriptions into Bio-PEPA process algebra specifications. The approach is applied to the MAPK signaling cascade, demonstrating both deterministic (ODE-based) and stochastic (Gillespie-based) simulations of the pathway.

The report includes full specification details, grammar definitions, and implementation notes that were necessarily abbreviated in the 15-page conference publication, making it the definitive reference for anyone seeking to reproduce or extend the SBGNtext2BioPEPA approach.

Broader Significance (Claude’s Assessment)

This technical report complements the EPTCS paper in important ways:

1. Complete specification. Where the conference paper summarized the approach, this report provides the full SBGNtext grammar, translation rules, and implementation details needed for reproducibility. This level of detail is essential for any attempt to extend or reimplement the tool.

2. Formal methods depth. The report reveals the full depth of formal methods work behind the biological application — defining a textual representation language, specifying its grammar, and implementing a compiler-like translation pipeline. This pattern (rigorous formal specification of biological modeling languages) directly prefigures the Evolvix design philosophy.

3. Deterministic and stochastic analysis. The report demonstrates both ODE-based and stochastic simulation from a single model specification, illustrating the power of the process algebra approach where the same formal model supports multiple analysis methods.

4. Edinburgh technical report tradition. Published as a numbered Edinburgh Informatics technical report, this places the work in the broader context of the Edinburgh formal methods group’s contributions to computational biology.

Who This Document Is For

Audience	Why This Document Matters
Tool developers & implementers	Contains the full SBGNtext grammar and translation rules needed to reproduce or extend the SBGNtext2BioPEPA tool — details not available in the shorter conference paper.
Process algebra researchers	Provides a complete worked example of translating a domain-specific biological notation into Bio-PEPA, with both deterministic and stochastic analysis pathways.
SBGN standards developers	Demonstrates a concrete textual representation for SBGN-PD that could inform future extensions to the SBGN standard family.
MAPK signaling modelers	Offers a detailed Bio-PEPA model of the MAPK cascade with full parameter specifications and simulation results.
Reviewers of LLoL’s scientific credentials	Shows the depth of formal methods work behind the computational biology toolchain, documenting the technical rigor that later informed Evolvix compiler design.

Key Concepts at a Glance

SBGNtext	A textual representation for SBGN-PD diagrams defined in this report, enabling machine-readable encoding of biological networks
SBGN-PD	Systems Biology Graphical Notation — Process Diagrams: the standardized visual notation being extended
SBGNtext2BioPEPA	The translation tool converting SBGNtext to Bio-PEPA process algebra for quantitative analysis
Bio-PEPA	Process algebra for biological modeling supporting both deterministic and stochastic analysis
MAPK cascade	Multi-layered signaling pathway used as the biological test case for the translation pipeline
Deterministic simulation	ODE-based analysis computing continuous concentration trajectories
Stochastic simulation	Gillespie-based analysis capturing discrete molecular events and intrinsic noise

Document Information

Document ID	Technical Report EDI-INF-RR-1334 (Dusty Deep Data, key-papers/)
Full title	Defining a textual representation for SBGN Process Diagrams and translating it to Bio-PEPA for quantitative analysis of the MAPK signal transduction cascade
Authors	Laurence Loewe, Stuart L. Moodie, Jane Hillston
Year	2009 (24 July 2009)
Type	Technical Report EDI-INF-RR-1334, School of Informatics, University of Edinburgh
Format	29-page technical report
License	Jonah License with CC0 Public Domain
Part of	Good News Pack MMv3, Dusty Deep Data / key-papers collection
PDF size	4.8 MB
WebP size	120 KB

Related documents in the Good News Pack:

• 2009 — SBGN-PD Bio-PEPA (shorter published conference version)

— Overview AI-generated by dv_ClaOp46_ExhB_2026m04d14 —End—

Collapse all Expand all

Notes

Content stability — Content is variant dv_ClaOp46_ExhB_2026m04d14 (see StayVS). Rebuilt 2026-05-18.

Expert Review Needed: Help Assess This Research and Its AI Overview

This page makes accessible one document from LLoL’s 6+ year wid-e research marathon on existential risk and ResearchCity. The PDF linked above is the original work; this page provides an overview.

The original research needs expert review. Download the PDF and bring your expertise to bear — whether you are a scientist, policy maker, theologian, peace activist, or concerned citizen. This research aims to find gentle kind reasonable ways to solve existential problems. Your perspective matters for assessing whether it succeeds.

The AI overview (see the markers) may need correction. AI may have blindly twisted the original message by emphasizing other aspects than the author would have. Important nuances may thus be missed or misrepresented. If you spot errors, missing context, or misplaced emphasis, your corrections help every future reader.

Despite all potential shortcomings of AI, AI was still used here because not saying anything about this document would have been even worse. A race against existential risks is not nuanced. Neither can be the determination to do the right thing - and get the word out to get help.

LLoL is determined to ask for such help. Hence this website to give the world a fair chance at exploring and reviewing LLoL’s ideas.

Use the FeedbackFlow link below to send your review — whether it concerns the original PDF, the AI overview, or both.

LLoL may drown for a while in the FF invited, but if people are indeed interested in making this work and avert accidental nuclear winter, then LLoL predicts that enough people will be happy to pay the about $8/year/person it will take to start scaling up ResearchCity, in order to help with the proper review of such wid-e research proposals for global decision-support like this one.

Hence, please consider that your buy-in with about $8/year will help to shift the global game from a so-called prisoner’s dilemma to an assurance game with the help of mathematical theology.

This work requires global support to avoid capture by special interests. Refining complex posters, engaging scholars across traditions, and running formal consistency checks all require sustained effort — as does scaling up a ResearchCity for global FeedbackFlows.

Let’s hope it’s not too late to fund this work!

FF FeedbackFlow to improve this page: How you can contribute

For the full guide on providing feedback — including how it is handled, licensing, and what to expect — see How to use FeedbackFlow.

Please check if See also on Balospe.com above already addresses your idea. Feedback works best when it targets the most specific page. If none of those pages help, you may have a good case for sending FF here.

To submit your FeedbackFlow:

1. Click anywhere on the email preview below to open a pre-filled email.

2. Replace the placeholder text with your feedback.

3. Send.

To: [email protected] CC: [email protected] Subject: FF k2 s2 AIMS for [mmv3-ddd-kp-sbgn-techrep-2009] Replace_by_OneLineSummary Body: To make this page [mmv3-ddd-kp-sbgn-techrep-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

The email subject contains k2 and s2 — default codes for impact and urgency. Most contributors can leave these unchanged. To adjust each as independently as they are:

• Importance of impact: above average k3, average default k2, below average k1.

• Urgency of speedup: above average s3, average default s2, below average s1.

This allows plotting importance over urgency to help triage FF. For more details see FF System Design.