A Language for Biochemical Systems: Design and Formal Specification

Michael Pedersen, Gordon Plotkin

Research output: Chapter in Book/Report/Conference proceedingConference contribution


This paper introduces a Language for Biochemical Systems (LBS) which combines rule-based approaches to modelling with modularity. It is based on the Calculus of Biochemical Systems (CBS) which affords modular descriptions of metabolic, signalling and regulatory networks in terms of reactions between modified complexes, occurring concurrently inside a hierarchy of compartments and with possible cross-compartment interactions and transport. Additional features of LBS, targeted towards practical and large-scale applications, include species expressions for manipulating large complexes in a concise manner, parameterised modules with a notion of subtyping for writing reusable modules, and nondeterminism for handling combinatorial explosion. These features are demonstrated through examples. A formal specification of LBS is then given through an abstract syntax and a general semantics which is parametric on a structure pertaining to the specific choice of target semantical objects. Examples of such structures for the specific cases of Petri nets, coloured Petri nets, ODEs and continuous time Markov chains are also given.
Original languageEnglish
Title of host publicationTransactions on Computational Systems Biology XII
Subtitle of host publicationSpecial Issue on Modeling Methodologies
PublisherSpringer-Verlag GmbH
Number of pages69
ISBN (Electronic)978-3-642-11712-1
ISBN (Print)978-3-642-11711-4
Publication statusPublished - 2010

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'A Language for Biochemical Systems: Design and Formal Specification'. Together they form a unique fingerprint.

Cite this