TY - GEN
T1 - A Language for Biochemical Systems
T2 - Design and Formal Specification
AU - Pedersen, Michael
AU - Plotkin, Gordon
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-642-11712-1_3
DO - 10.1007/978-3-642-11712-1_3
M3 - Conference contribution
SN - 978-3-642-11711-4
VL - 5945
T3 - Lecture Notes in Computer Science
SP - 77
EP - 145
BT - Transactions on Computational Systems Biology XII
PB - Springer
ER -