 Research article
 Open Access
 Published:
Inferring chemical reaction patterns using rule composition in graph grammars
Journal of Systems Chemistry volume 4, Article number: 4 (2013)
Abstract
Background
Modeling molecules as undirected graphs and chemical reactions as graph rewriting operations is a natural and convenient approach to modeling chemistry. Graph grammar rules are most naturally employed to model elementary reactions like merging, splitting, and isomerisation of molecules. It is often convenient, in particular in the analysis of larger systems, to summarize several subsequent reactions into a single composite chemical reaction.
Results
We introduce a generic approach for composing graph grammar rules to define a chemically useful rule compositions. We iteratively apply these rule compositions to elementary transformations in order to automatically infer complex transformation patterns. As an application we automatically derive the overall reaction pattern of the Formose cycle, namely two carbonyl groups that can react with a bound glycolaldehyde to a second glycolaldehyde. Rule composition also can be used to study polymerization reactions as well as more complicated iterative reaction schemes. Terpenes and the polyketides, for instance, form two naturally occurring classes of compounds of utmost pharmaceutical interest that can be understood as “generalized polymers” consisting of fivecarbon (isoprene) and twocarbon units, respectively.
Conclusion
The framework of graph transformations provides a valuable set of tools to generate and investigate large networks of chemical networks. Within this formalism, rule composition is a canonical technique to obtain coarsegrained representations that reflect, in a natural way, “effective” reactions that are obtained by lumping together specific combinations of elementary reactions.
Background
Directed hypergraphs [1] are a suitable topological representation of (bio)chemical reaction networks where (catalytic) reactions are hyperedges connecting substrate nodes to product nodes. Such networks require an underlying Artificial Chemistry [2] that describes how molecules and reactions are modeled. If molecules are treated as edge and vertex labeled graphs, where the vertex labels correspond to atom types and the edge labels denote bond types, then structural change of molecules during chemical reactions can be modeled as graph rewriting rules [3]. In contrast to many other Artificial Chemistries this approach allows for respecting fundamental rules of chemical transformations like mass conservation, atomic types, and cyclic shifts of electron pairs in reactions. In general, a graph rewriting(rule) transforms a set of substrate graphs into a set of product graphs. Hence the graph rewriting formalism allows not only to delimit an entire chemical universe in an abstract but compact form but also provides a methodology for its explicit construction.
Most methods for the analysis of this network structure are directed towards this graph (or hypergraph) structure [1, 4], which is described by the stoichiometric matrix S of the chemical system. Since S is essentially the incidence matrix of the directed hypergraph, algebraic approaches such as Metabolic Flux Analysis and Flux Balance Analysis [5] have a natural interpretation in terms of the hypergraph. Indeed typical results are sets of possibly weighted reactions (i.e., hyperedges) such as elementary flux modes [6], extreme pathways [7], minimal metabolic behaviors [8] or a collection of reactions that maximize the production of a desired product in metabolic engineering. The net reaction of a given pathway is simply the linear combination of the participating hyperedges.
In the setting of generative models of chemistry, each concrete reaction is not only associated with its stoichiometry but also with the transformation rule operating on the molecules that are involved in a particular reaction. Importantly, these rules are formulated in terms of reaction mechanisms that readily generalize to large sets of structurally related molecules. It is thus of interest to derive not only the stoichiometric net reaction of a pathway but also the corresponding “effective transformation rule”. Instead of attempting to address this issue a posteriori, we focus here on the possibility of composing the elementary rules of chemical transformations to new effective rules that encapsulate entire pathways.
The motivation comes from the observation that string grammars are meaningfully characterized and understood by investigating the transformation rules. Consider, as a trivial example, the contextfree grammar $G$ with the starting symbol S and the rules S → a S^{′}a, S^{′} → a S^{′}a  B and B → ε  b B, where ε denotes the empty string. Inspecting this grammar we see that we can summarize the effect of the productions as B → b^{k}, k ≥ 0, and S → a^{n}B a^{n}, n ≥ 1. The language generated from $G$ is thus {a^{n}b^{k}a^{n}n ≥ 1, k ≥ 0}. Here we explore whether a similar reasoning, namely the systematic combination of transformation rules, can help to characterize the language of molecules that is generated by a particular graph rewriting chemistry. Similar to the example from term rewriting above, we should at the very least be able to recognize the regularities in polymerization reactions. We shall see below, however, that the rule based approach holds much higher promises.
Chemical reactions can be readily composed to “overall reactions” such as the net transformation of metabolic pathways. This observation is used implicitly in flux balance analysis at the level of the stoichiometric matrix. Recently, [9] considered the composition of concrete chemical reactions, i.e., transformations of complete molecules, as a means of reconstructing metabolic pathways. In this contribution we take a different point of view: instead of asking for concrete overall reactions, we are concerned with the composition of the underlying reaction mechanisms themselves. As we will see, these can be applied to arbitrary molecule contexts. We therefore address two issues: First we establish the formal conditions under which chemical transformation rules can be meaningfully composed. To this end, we discuss rule composition within the framework of concurrency theory in the following section. We then investigate the specific restrictions that apply to chemical systems, leading to a constructive approach for inferring composite rules.
The basic computational task we envision starts from an unordered set $R$ of reactions such as those forming a particular metabolic reaction pathway. To derive the effective transformation rule describing the pathway we need to find the correct ordering π in which the transformation rules p_{ i }, underlying the individual chemical reactions ρ_{ i }, have to be composed. We illustrate this approach in some detail using the Formose reaction as an example in the Results and discussion section.
Graph grammars and rule composition
Graph grammars, or graph rewriting systems, are proper generalizations of term rewriting systems. A wide variety of formal frameworks have been explored, including several different algebraic ones rooted in category theory. We base our conceptual developments on the double pushout (DPO) formulation of graph transformations. For the comprehensive treatise of this framework we refer to [10]. In the following sections we first outline the basic setup and then introduce full and partial rule composition. Alternative approaches to graph rewriting in the context of (artificial) chemistry have been based on the single pushout (SPO) model of graph transformations, see e.g. [11, 12]. We briefly discuss the rather technical difference between the DPO and SPO framework in Appendix 7, where we also briefly outline our reasons for choosing DPO.
Double pushout and concurrency
The DPO formulation of graph transformations considers transformation rules of form $p=\left(L\stackrel{l}{\leftarrow}K\stackrel{r}{\to}R\right)$ where L, R, and K are called the left graph, right graph, and context graph, respectively. The maps l and r are graph morphisms. The rule p transforms G to H, in symbols $G\stackrel{p,m}{\Rightarrow}H$ if there is a pushout graph D and a “matching morphism” m : L → G such that following diagram is valid:
The existence of D is equivalent to the socalled gluing condition, which determines whether the rule p is applicable to a match in G. In the following we will also write $G\stackrel{p}{\Rightarrow}H$ and G ⇒ H for derivations, if the specific match or transformation rule is unimportant or clear from the context.
Concurrency theory provides a canonical framework for the composition of two graph transformations. Given two rules ${p}_{i}=\left({L}_{i}\stackrel{{l}_{i}}{\leftarrow}{K}_{i}\stackrel{{r}_{i}}{\to}{R}_{i}\right)$, i = 1, 2, a composition $\left(L\stackrel{{q}_{l}}{\leftarrow}K\stackrel{{q}_{r}}{\to}R\right)={p}_{1}{\ast}_{E}{p}_{2}$ can be defined whenever a dependency graph E exists so that in the following diagram:
the cycles (1) and (2) are pushouts, and (3) is a pullback, see e.g., [13]. We then have q_{ l } = s_{1} ∘ w_{1} and q_{ r } = t_{2}∘w_{2}. The concurrency theorem [14] ensures that for any sequence of consecutive direct transformations $G\stackrel{{p}_{1},{m}_{1}}{\Rightarrow}H\stackrel{{p}_{2},{m}_{2}}{\Rightarrow}{G}^{\prime}$ a graph E, a corresponding Econcurrent rule p_{1}∗_{ E }p_{2}, and a morphism m can be found such that $G\stackrel{{p}_{1}{\ast}_{E}{p}_{2},m}{\Rightarrow}{G}^{\prime}$.
In order to use graph transformation as a model for chemical reactions additional conditions must be enforced. Most importantly, atoms are neither created, nor destroyed, nor transformed to other types. Thus only graph morphisms whose restriction to the vertex sets are bijective are valid in our context. In particular, the matching morphism m always corresponds to a subgraph isomorphism in our context. The context graph K thus is (isomorphic to) a subgraph of both L and R, describing the part of L that remains unchanged in R. Conservation of atoms means that the vertex sets of L, K, and R are linked by bijections known as the atommapping. When the atom mapping is clear, thus, we do not need to represent the context explicitly.
It is important to note that the existence of the matching morphism m : L → G alone is not sufficient to guarantee the applicability of the transformation. In our context, we require in addition that the transformation rule does not attempt to introduce an edge in R that has been present already before the transformation is applied. Formally, the gluing condition requires that (l(x), l(y)) ∉ L and (r(x), r(y)) ∈ R implies (m(l(x)), m(r(y))) ∉ G.
Full rule composition
In the following we will be concerned only with special, chemically motivated, types of rule compositions. In the simplest case the dependency graph E is isomorphic to R_{1}, later we will also consider a more general setting in which E is isomorphic to the disjoint union of R_{1} and some connected components of L_{2}. For the ease of notation from now on we only refer to a rule composition, and not to a composition of morphisms as in the Graph Grammar section, i.e., p_{1}∗_{ E }p_{2} will be denoted as p_{2} ∘ p_{1} (note the order of the arguments changes). If E ≅ R_{1}, then L_{2} ≅ e_{2}(L_{2}) is a subgraph of R_{1}. Omitting the explicit references to the subgraph matching morphism e_{2} we can simply view L_{2} as subgraph of R_{1} as illustrated in Figure 1b.
The rule composition thus amounts to a rewriting ${R}_{1}\stackrel{{p}_{2},{e}_{2}}{\Rightarrow}R$, while the left side L_{1} is preserved. We will use the notation p_{2} ∘ p_{1} and $G\stackrel{{p}_{2}\circ {p}_{1}}{\Rightarrow}H$ for this restricted type of rule composition, and call it full composition as the complete left side of p_{2} is a subgraph of R_{1}. Note that L_{2} may fit into R_{1} in more than one way so that there may be more than one composite rule. Formally, the alternative compositions are distinguished by different matching morphisms e_{2} in the diagram in Figure 1a; we will return to this point below.
An example of a full rule composition is shown in Figure 1c. The two rules in the example, which in this case are also chemical reactions, are part of the Formose grammar. The Formose grammar consists of two pairs of rules. The first pair of rules, (from now on denoted as p_{0} and p_{1}), implements both directions of the ketoenol tautomerism. One direction, p_{1}, is visualized in Figure 1c. The second pair (from now on denoted as p_{2}, p_{3}) is the aldoladdition and its reverse respectively. The reverse (p_{3}) is also visualized in Figure 1c. We see that the left side of p_{1} is isomorphic to a subgraph of one of the components of the right side of p_{3}. Composing the two rules by subgraph matching yields a third rule, p_{1} ∘ p_{3}.
Partial rule composition
An important issue for the application to chemical reactions is that the graphs involved in the rules are in general not connected. Typical chemical reactions combine molecules, split molecules or transfer groups of atoms from one molecule to another. The transformation rules for all these reactions therefore require multiple connected components. For the purpose of dealing with these rules, we introduce the following notation for graphs and derivations.
Let Q be a graph with # Q connected components Q_{ i }, $i=1,\dots ,\mathrm{\#Q}$. It will be convenient to treat Q as the multiset of its components. A typical chemical graph derivation, corresponding to a bimolecular reaction can be written in the form $\{{G}^{1},{G}^{2}\}\stackrel{p,m}{\Rightarrow}\{{H}^{1},{H}^{2},{H}^{3}\}$, where we take the notation to imply that all graphs G^{i} and H^{j} are connected.
The conditions for the ∘ composition of rules are a bit too strict for our applications. We thus relax them respect the component structure of left and right graphs. More precisely, we consider a partition of the components of L_{2} into two parts $\overline{{L}_{2}}$ and ${L}_{2}^{\prime}$ (cmp. Figure 2a), and we require that E is isomorphic to a disjoint union of a copy of R_{1} and ${L}_{2}^{\prime}$, while $\overline{{L}_{2}}$ must be isomorphic to a subgraph of R_{1}. As a consequence, every connected component ${L}_{2}^{i}$ of L_{2} satisfies either ${e}_{2}\left({L}_{2}^{i}\right)\subseteq {e}_{1}\left({R}_{1}\right)$ or ${e}_{2}\left({L}_{2}^{i}\right)$ is a connected component of E isomorphic to ${L}_{2}^{i}$. For a rule composition of this type to be well defined we need that ∃i such that ${e}_{2}\left({L}_{2}^{i}\right)\subseteq {e}_{1}\left({R}_{1}\right)$ holds, i.e., $\overline{{L}_{2}}$ must be nonempty. We remark that the latter condition could be relaxed further to lead to additional compositions for which left and right sides are disjoint unions. If ${L}_{2}^{\prime}$ is empty, then the partial composition is also a full composition.
As an abstract example (Figure 2a), the partial composition of p_{1} = (L_{1}, K_{1}, R_{1}) and ${p}_{2}=\left(\right\{{L}_{2}^{2},{L}_{2}^{2}\},{K}_{2},{R}_{2})$, with $\overline{{L}_{2}}={L}_{2}^{1}$ and ${L}_{2}^{\prime}={L}_{2}^{2}$ yields ${p}_{2}\circ {p}_{1}=\left(\right\{{L}_{1},{L}_{2}^{2}\},K,R)$. Note that right graph R cannot no longer be regarded simply as a rewritten version of R_{1} because rule p_{2} now adds additional vertices to both the left and the right graph. The composite context K contains only subsets of K_{1} and K_{2}, but it is expanded by the vertices of ${L}_{2}^{2}$ and the edges of ${L}_{2}^{2}$ that remain unchanged under rule p_{2}.
In general, we thus require here that the connected components of R_{1} and L_{2} satisfy either ${e}_{2}\left({L}_{2}^{i}\right)\subseteq {e}_{1}\left({R}_{1}^{\phantom{\rule{0.3em}{0ex}}j}\right)$ or ${e}_{1}\left({R}_{1}^{\phantom{\rule{0.3em}{0ex}}j}\right)\cap {e}_{2}\left({L}_{2}^{i}\right)=\varnothing $. We furthermore exclude the trivial case of parallel rules in which only the second alternative is realized. In other extreme, if all components ${L}_{2}^{i}$ satisfy ${e}_{1}\left({L}_{2}^{i}\right)\subseteq {e}_{2}\left({R}_{1}\right)$, the partial composition becomes a full composition. Formally, these alternatives are described by different dependency graphs E and/or different morphisms e_{1} and e_{2}. Pragmatically we can understand this as a matching μ of L_{2} and R_{1} as in Figure 3. Specifying μ of course removes the ambiguity from the definition of the rule composition; hence we write p_{2} ∘ _{ μ }p_{1} to emphasize the matching μ.
Constructing rule compositions
Given two rules, p_{1} and p_{2}, it is not only interesting to know if a partial composition is defined, but also to create the set of all possible compositions
explicitly. This set in particular contains also all full compositions. The following describes an algorithm for enumerating all partial compositions.
Enumerating the matchings μ
The key to finding all compositions is the enumeration of all matchings μ that respect our restrictions on overlaps between connected components. We thus start from the sets $\left\{{R}_{1}^{1},{R}_{1}^{2},\dots ,{R}_{1}^{\#{R}_{1}}\right\}$ and $\left\{{L}_{2}^{1},{L}_{2}^{2},\dots ,{L}_{2}^{\#{L}_{2}}\right\}$ of connected components of R_{1} and L_{2}, resp. In the first set we find all subgraph matches ${L}_{2}^{i}\subseteq {R}_{1}^{\phantom{\rule{0.3em}{0ex}}j}$ (represented as the corresponding matchings μ_{ ij }) and arrange the result in a matrix of lists of subgraph matches, Figure 4.
The matching matrix is extended by a virtual column to account for the possibility that ${L}_{2}^{i}$ is not matched with any component of R_{1}. Every partial (and full) composition is now defined by a selection of one submatch from each row of the matrix, see Appendix 7 for an example. The converse is not true, however: Not every selection of matches correspond to a partial composition. In particular, we exclude the case that only entries from the virtual column are selected. In addition, the submatches must be disjoint to ensure that the combined match is injective. The latter conditions needs to be checked only when more than one submatch is selected from the same column.
Composing the rules
The construction of the composition p_{2}∘_{ μ }p_{1} of two rules p_{1} and p_{2} does not explicitly depend on the component structure of R_{2} and L_{1} because it is uniquely defined by the matching μ and the bijections of the nodes of L_{ i }, K_{ i }, and R_{ i } for each of the two rules. We obtain L by extending L_{1} with unmatched components of L_{2} and R by extending R_{2} by the unmatched components of R_{1}. The corresponding extension of μ to a bijection $\widehat{\mu}$ of the vertex sets of L and R is uniquely defined. The context K of the composite rule simply consists the common vertex set of L and R and all edges (x,y) of L for which $\left(\widehat{\mu}\right(x),\widehat{\mu}(y\left)\right)$ is an edge in R. We note in passing that $\widehat{\mu}$ defines the atom mapping of the composite transformation. The explicit construction of (L, K, R) is summarized as the algorithm in Figure 5.
The implementation of the algorithm naturally depends heavily on the representation of transformation rules, which in our implementation is the representation from the Graph Grammar Library (GGL) [15–17]. The representation is a single graph, with attached vertex and edge properties defining membership of L, K and R, as well as the needed labels.
Not all matchings define valid rule compositions. For instance, consider an edge (u, v) that is present in R_{1} and R_{2} but not in L_{2} and both u and v are in L_{2}. This would amount to creating the edge by means of rule p_{2} which was already introduced by p_{1}. Since we do not allow parallel edges and thus regard such inconsistencies as undefined cases we reject the matching. Note that a parallel edge does not correspond to a “double bond” (which essentially is only an edge with a specific type).
Graph binding, unbinding, and identity
The composition of transformation rules, and thereby chemical reactions, makes it possible to create abstract metarules in a way that is similar to the combination of multiple functions into more abstract functions in functional programming. A related concept from (functional) programming that seems useful in the context of graph grammars is partial function application. Consider, for example, the binding of the number 2 to the exponentiation operator, yielding either the function f(x) = 2^{x} or f(x) = x^{2}. In the framework of rule composition, we define graph binding as a special case.
Let G be a graph and p_{2} = (L_{2}, K_{2}, R_{2}) be a transformation rule. The binding of G to p_{2} results in the transformation rule p = (L, K, R) which implements the partial application of p_{2} on G. This is accomplished simply by regarding G as a rule p_{1} = (∅, ∅, G), and using partial composition; p = p_{2} ∘ p_{1}. Note that if p_{2} ∘ p_{1} is a full composition, then p can be regarded as a graph H and $G\stackrel{{p}_{2}}{\Rightarrow}H$ holds.
Graph binding allows a simplified representation of reactions. For instance, we can use this formal construction to omit uninteresting ubiquitously present molecules such as water by binding the graph of the water molecule to the transformation rule of a reaction that requires water. Similarly, graph unbinding can be defined as a transformation rule that destroys graphs. In a chemical application it can be used to avoid the explicit representation of uninteresting ubiquitous molecules such as the solvent.
As a direct consequence of graph binding and unbinding the composed rules create or destroy vertices. The atom map thus is not welldefined any more in such rules. This can be rescued by a formally different construction. We introduce the identity rule ı_{ G } = (G, G, G). Instead of graph binding, we now consider the composed rules of form p_{2} ∘ ı_{ G } = (L, K, R) for some chemical rule p_{2}. Its left graph must match G at least partially. This construction preserves a welldefined atom map and retains useful properties of graph binding. In particular, it ensures that G is a subgraph of the host graph in any derivations using p_{2} ∘ ı_{ G }. Semantically, however, G is not bound but the constraint of its presence is. Since p_{2} ∘ ı_{ G } admits an atom map and identifies G as a subgraph of L, there are two injective maps V(L ∖ G) → V(R) and V(G) → V(R) with disjoint images. The former identified the a partial atom map associated with the partial rule, that latter identified as atoms introduced by the bound molecules when p_{2} ∘ ı_{ G } is applied to a substrate graph.
A technical issue worth mentioning is that partial rule composition as defined here can break the inherent symmetry of the DPO formalism in the sense that for p_{2} ∘ p_{1} we cannot conclude that ${p}_{2}^{1}$ satisfies the preconditions to be partially composed with ${p}_{1}^{1}$ because their partial match of L_{2} with R_{1} does not necessarily respect component structure of R_{1} as required in our definition. The chemistry remains unaffected since reverse reactions are explicitly represented as different reactions.
Ordering rules
A wide variety of methods, including flux balance analysis, can be used to identify pathways or other subsets of reactions that are of interest. Adjacency of reactions in the original networks as well as their directionality can be used efficiently to prune the possible orders of rule compositions. The fact that multiple reactions are instantiations of the same transformation rule, as in the example discussed in detail in the next section, further reduces the search spaces.
Results and discussion
We illustrate the use of transformation rule composition by deriving metarules from the graph grammar consisting of the four rules necessary to represent the complete Formose reaction. The transformation rules for this system, p_{ i }, 0 ≤ i ≤ 3, are described in Figure 1 and in section “Full rule composition”. The influx and outflux molecules of the reaction is formaldehyde (g_{0}) and glycolaldehyde (g_{1}), and the reaction network for the complete reaction is depicted in 6.
Each reaction ρ_{ i } in the network is labeled with i and the instantiated transformation rule p_{ j }. That is, we have four wellknown chemical transformation pattern; forward ketoenol tautomerism (p_{0}: ρ_{2}, ρ_{4}, ρ_{6}), backward ketoenol tautomerism (p_{1}: ρ_{7}, ρ_{9}), forward aldol addition (p_{2}: ρ_{3}, ρ_{5}), and backward aldol addition (p_{3}: ρ_{8}). Additionally label the influx of glycolaldehyde as a reaction, ρ_{1}.
The overall reaction of the Formose cycle is 2g_{0} + g_{1} → 2g_{1}, amounting to the linear combination $\sum _{i=2}^{9}{\rho}_{i}$ of the eight inner reactions of the network.
In this section we will not explicitly distinguish between partial composition and full composition, and we interpret the composition operator ∘ as rightassociative to simplify the notation. Thus p_{ i } ∘ p_{ j } ∘ p_{ k } means p_{ i } ∘ (p_{ j } ∘ p_{ k }).
The rules are used in the autocatalytic cycle in the following order (starting with an ketoenol tautomerisation p_{0}):
As it is not possible to compose this sequence of rules directly, we start with the identity rule for glycolaldehyde g_{1}, as the beforementioned ketoenol tautomerisation is applied to molecule g_{1}. That is, we define the rule ${\u0131}_{{g}_{1}}=(\phantom{\rule{0.8pt}{0ex}}{g}_{1},{g}_{1},{g}_{1})$ (see section “Graph binding, unbinding, and identity”). This rule, ${\u0131}_{{g}_{1}}$, is depicted in row 1 in the table in Figure 6.
Following the reaction sequence of the Formose cycle we subsequently compose with the transformation rules p_{ i }, 0 ≤ i ≤ 3, thus obtaining metarules modeling the prefixes of the overall reaction. These metarules are shown in row 2 to 9 in the table in Figure 6, with the final rule being a result of the composition ${p}_{1}\circ {p}_{3}\circ \dots \circ {p}_{0}\circ {\u0131}_{{g}_{1}}$. This rule precisely covers the reaction pattern of the Formose reaction, namely how two formaldehyde molecules and one glycolaldehyde are transformed to two glycolaldehyde molecules. However note, that the rule is general enough such that any pair of molecules with aldehyde groups can be used, i.e., the inferred reaction pattern refers to a class of overall reactions and the product does not necessarily need to be glycolaldehyde.
The composition starts with the identity rule ${\u0131}_{{g}_{1}}$, but a similar composition can be made by binding glycolaldehyde, i.e., using the rule (∅, ∅, g_{1}) as the starting rule. This results in rules which have the creation of atoms corresponding to glycolcaldehyde embedded. An example of such a composition is shown in Appendix 7.
The practical computation of these compositions takes less than a second in the current implementation. Even for substantially more general composition sequences the running time remains manageable. For instance, it takes less than 1 minute to compute all composition sequences with a length k ≤ 10 of the form ${\mathsf{p}}_{{i}_{1}}\circ {\mathsf{p}}_{{i}_{2}}\circ \cdots \circ {\mathsf{p}}_{{i}_{k}}\circ {\u0131}_{{g}_{q}}$ with i_{ j } ∈ {0, 1, 2, 3}, based on the composition with the identity rule of one of the influx molecules, i.e., formaldehyde or glycolaldehyde. This results in 1875 different inferred composite rules.
Polymerization can also be viewed as a pathway in a chemical reaction network, albeit one of potentially infinite size. The same methods applied to the automatic inference of the overall reaction pattern of the Formose cycle can be directly applied to detecting composition rules for polymerization reactions. Importantly, even if a chemical reaction network is not given, the approaches presented in this paper can be used to automatically find sequences of reactions that will lead to polymerization. This can be realized by a straightforward postprocessing step: all that needs to be done is to check whether an inferred composite rule exhibits a replicated functional unit. Such polymerization metarules also enable the analysis of chemical systems with highly complex carbon skeletons such as the natural compound classes of the terpenes or the polyketides.
Conclusions
Graph grammars provide a convenient framework for modeling chemistries on different levels of abstraction. A chemically valid approach is to see any chemical reaction as a bimolecular reaction. This requires graph grammar rules that cover changes of molecules in an rather explicit and detailed way. Understanding chemical reaction patterns usually requires spanning the chemical reaction networks based on such rules. Obviously, this approach suffers the inherent potential of an immense combinatorial explosion. In this paper we introduced the automatic inference of such higherlevel chemical reaction pattern based on a formal approach for graph grammar rule combination. We analyzed the autocatalytic cycle of the Formose reaction and inferred its overall reaction pattern as a rule composition of nine rules. Rule composition is also naturally applicable to inferring patterns of polymerization reactions. Future work will include e.g. the analysis of terpenebased and hydrogen cyanidebased polymerization chemistry. Many of the enzyme reactions collected in metabolism databases such as KEGG[18] or MetaCyc[19] are in fact overall reactions of multistep mechanisms. The enzyme Dalanine transaminase (EC 2.6.1.21), for instance, achieves its chemical transformation in 12 elementary steps. Generating chemically correct atommappings of such overall reactions, a very important step e.g. in the interpretation of isotope tracer experiments, is infeasible with the currently available methods. In contrast a composite rule constructed from the individual enzymatic steps, as found for instance in the MACiE database [20], is guaranteed to yield the chemically correct atom mapping for the overall enzyme reaction.
Appendix A: SPO and DPO in artificial chemistry models
In the double pushout (DPO) framework a production $L\stackrel{l}{\leftarrow}K\stackrel{r}{\to}R$ is defined by three graphs (the left graph L, the right graph R, and the context graph K) and two graph morphisms l : K → L and r : K → R. In the single pushout (SPO) formalism, $L\stackrel{p}{\rightarrowtail}R$ is specified by only two graphs L and R and a partial graph morphism p. In other words, the production is specified by a total graph morphism $dom\left(p\right)\to R$, where $dom\left(p\right)$ is a subgraph of L. While DPO lives on the category of graphs and graph morphisms, SPO is built upon the category of graphs and partial graph morphisms, see [21] for a detailed comparison of the two approaches.
There is no real difference between the rules themselves since DPO and SPO productions can be translated into each other: $L\stackrel{p}{\rightarrowtail}R$ translates to $L\stackrel{l}{\leftarrow}dom\left(p\right)\stackrel{r}{\to}R$ where l is the inclusion of $dom\left(p\right)$ in L and r is the domain restriction of p to $dom\left(p\right)$. Conversely, $L\stackrel{l}{\leftarrow}K\stackrel{r}{\to}R$ translates to $L\stackrel{p}{\rightarrowtail}R$ where the partial morphism p = r ∘ l^{−1} is welldefined provided l is injective and $dom\left(p\right)=l\left(K\right)$[22].
The main difference between the two frameworks lies in the application of the productions, i.e., in the resulting (direct) graph derivations. SPO derivations are complete, that is, for each production $L\stackrel{p}{\rightarrowtail}R$ and each match $m:L\stackrel{m}{\to}G$ there is a derivation $G\stackrel{p,m}{\Rightarrow}H$. In contrast, in DPO the corresponding derivation exists if and only if the gluing condition is satisfied:

(I)
There are not distinct elements x,y of L with m(x) = m(y) and y ∉ l(K).

(D)
No edge e of G ∖ m(L) is incident to a node in m(L ∖ l(K)).
SPO is therefore more powerful than DPO in the sense that more general transformations can be implemented. On the other hand, the gluing condition ensures that there are no “side effects” such as dangling edges (which have to be eliminated by construction in SPO). These side effects make SPO transformation more difficult to understand and control in practical applications.
A useful feature of DPO derivations is that productions are invertible [23]. As in chemical reactions, it suffices to exchange the roles of the left and the right graph, i.e., of products and educts. In contrast, the more general SPO derivations are not invertible in general.
In applications of graph transformation systems to modeling chemical reactions further restrictions are needed to account for the peculiarities of chemical transformation systems:

(i)
Reaction rules specify subgraphs. Therefore, the matching morphisms m and n are injective.

(ii)
Since atoms are conserved in chemical reactions, the restrictions l _{ V } and r _{ V } to the vertex set are bijections and determine the atom mapping. Edges model chemical bonds specified by electron pairs. These can only be moved around in the molecules but not collapsed onto the same bond with the same type. The morphisms l and r therefore must be injective.
Lemma 1
Conditions (i) and (ii) imply the gluing condition.
Proof
Since m is injective, i.e., m(x) = m(y) implies x = y, condition (I) is satisfied. Condition (ii) implies that l_{ V }(K) is the vertex set of L, i.e., L ∖ l(K) contains no vertices. Thus m(L ∖ l(K)) is empty so that condition (D) is trivially satisfied. □
As far as models of chemistry are concerned, therefore, SPO and DPO graph transformations are equivalent.
We prefer to work with the DPO framework for several reasons. First, the explicit exposure of the context graph K provides a convenient starting point for considering transition states e.g. in terms of the pair of subgraphs (L ∖ l(K),R ∖ r(K)). In addition, in our experience it is helpful to explicitly construct K in the process of designing rule sets of particular types of chemistry such as Diels Alder reactions or aldol condensations appearing in this contribution. Maybe more importantly, the DPO framework appears more convenient when building analysis tools such as coarse graining operations into the rewriting system. Finally, the framework of (injective) graph morphisms, in our view, is a more convenient basis for mathematical investigations than the partial graph morphisms on which SPO is built.
Appendix B: Composition of the Formose reaction using graph binding
Appendix C: Example of enumeration of compositions
In this Appendix we show the complete result of the composition of two (artificial) rules, p_{1} and p_{2}, including the selection of submatches from the match matrix. The two rules are depicted in Figure 8 with the extended match matrix of the composition p_{2} ∘ p_{1}, that corresponds to the example of an extended match matrix as given in the paper. The rules in this section are all depicted with vertices that have an additional index. The numbering of the components is in increasing order wrt. to these indices, e.g., ${L}_{2}^{1}$ denotes the component connecting nodes A, 0 and B, 1 and ${L}_{2}^{2}$ denotes the component connecting nodes B, 2 and C, 3.
In the following we will enumerate all valid selections of submatches based on the extended match matrix and give the corresponding resulting rule composition. The chosen matches are depicted as ∙ in the extended match matrix. If several matches can be found (in our example this is true for the component ${L}_{2}^{1}$, that can be matched twice in ${R}_{1}^{3}$), the ∙ has an index.
Composition 1
Submatch selection in match matrix and result of composition 1.
Composition 2
Submatch selection in match matrix and result of composition 2.
Composition 3
Submatch selection in match matrix and result of composition 3.
Composition 4
Submatch selection in match matrix and result of composition 4.
Composition 5
Submatch selection in match matrix and result of composition 5.
Composition 6
Submatch selection in match matrix and result of composition 6.
Invalid selection
This selection of submatches is invalid, as they are not disjoint (node B, 9 would be matched twice).
Composition 7
Submatch selection in match matrix and result of composition 7.
Composition 8
Submatch selection in match matrix and result of composition 8.
Composition 9
Submatch selection in match matrix and result of composition 9.
Composition 10
Submatch selection in match matrix and result of composition 10.
References
 1.
Klamt S, Haus UU, Theis F: Hypergraphs and cellular networks. PLoS Comput Biol 2009,5(5):e1000385. 10.1371/journal.pcbi.1000385
 2.
Dittrich P, Ziegler J, Banzhaf W: Artificial chemistries – a review. Artif Life 2001,7(3):225–275. 10.1162/106454601753238636
 3.
Benkö G, Flamm C, Stadler PF: A graphbased toy model of chemistry. J Chem Inf Comput Sci 2003,43(4):1085–1093. 10.1021/ci0200570
 4.
Aittokallio T, Schwikowski B: Graphbased methods for analysing networks in cell biology. Brief Bioinform 2006,7(3):243–255. 10.1093/bib/bbl022
 5.
Orth JD, Thiele I, Palsson BØ: What is flux balance analysis? Nature Biotech 2010, 28: 245–248. 10.1038/nbt.1614
 6.
Schuster S, Fell DA, Dandekar T: A general definition of metabolic pathways useful for systematic organization and analysis of complex metabolic networks. Nature Biotech 2000, 18: 326–332. 10.1038/73786
 7.
Price ND, Reed JL, Papin JA, Wiback SJ, Palsson BØ: Networkbased analysis of metabolic regulation in the human red blood cell. J Theor Biol 2003, 225: 185–194. 10.1016/S00225193(03)002376
 8.
Larhlimi A, Bockmayr A: A new constraintbased description of the steadystate flux cone of metabolic networks. Discr Appl Math 2009, 157: 2257–2266. 10.1016/j.dam.2008.06.039
 9.
Félix L, Rosselló F, Valiente G: Efficient reconstruction of metabolic pathways by bidirectional chemical search. Bull Math Biol 2009, 71: 750–769. 10.1007/s1153800893808
 10.
Ehrig H, Ehrig K, Prange U, Taenthzer G: Fundamentals of Algebraic Graph Transformation. Berlin: SpringerVerlag; 2006.
 11.
Rosselló F, Valiente G: Graph transformation in molecular biology. Lect Notes Comp Sci 2005, 3393: 116–133. 10.1007/9783540318477_7
 12.
Danos V, Feret J, Fontana W, Harmer R, Hayman J, Krivine J, ThompsonWalsh C, Winskel G: Graphs, rewriting and pathway reconstruction for rulebased models. Leibniz Int Proc Inf 2012. in press
 13.
Golas U: Analysis and Correctness of Algebraic Graph and Model Transformations. Wiesbaden: Vieweg+Teubner; 2010.
 14.
Ehrig H, Habel A, Kreowski HJ, ParisiPresicce F: Parallelism and concurrency in highlevel replacement systems. Math Struct Comp Sci 1991, 1: 361–404. 10.1017/S0960129500001353
 15.
Flamm C, Ullrich A, Ekker H, Mann M, Hogerl D, Rohrschneider M, Sauer S, Scheuermann G, Klemm K, Hofacker I, Stadler PF: Evolution of metabolic networks: a computational framework. J Syst Chem 2010,1(1):4. 10.1186/1759220814
 16.
Mann M, Ekker H, Flamm C: The graph grammar library – a generic framework for chemical graph rewrite systems. 2013.http://arxiv.org/abs/1304.1356 []
 17.
Hompage of the Graph Grammar Library (GGL) [The source code and the documentation of the library can be accessed via, http://www.tbi.univie.ac.at/software/GGL/] [The source code and the documentation of the library can be accessed via, ]
 18.
Kanehisa M, Goto S, Sato Y, Furumichi M, Tanabe M: KEGG for integration and interpretation of largescale molecular data sets. Nucleic Acids Res 2012, 40: D109–114. 10.1093/nar/gkr988
 19.
Caspi R, Altman T, Dreher K, Fulcher CA, Subhraveti P, Keseler IM, Kothari A, Krummenacker M, Latendresse M, Mueller LA, Ong Q, Paley S, Pujar A, Shearer AG, Travers M, Weerasinghe D, Zhang P, Karp PD: The MetaCyc database of metabolic pathways and enzymes and the BioCyc collection of pathway/genome databases. Nucleic Acids Res 2012, 40: D742–753. 10.1093/nar/gkr1014
 20.
Holliday GL, Andreini C, Fischer JD, Rahman SA, Almonacid DE, Williams ST, Pearson WR: MACiE: exploring the diversity of biochemical reactions. Nucleic Acids Res 2012, 40: D783–789. 10.1093/nar/gkr799
 21.
Ehrig H, Heckel R, Korff M, Löwe M, Ribeiro L, Wagner A, Corradini A: Algebraic approaches to graph transformation part II: single pushout approach and comparison with double pushout approach. In Handbook of Graph Grammars and Computing by Graph Transformations. Edited by: Rozenberg G. Singapore: World Scientific; 1997:247–312.
 22.
Löwe M: Algebraic approach to singlepushout graph transformation. Theor Comp Sci 1993, 109: 181–224. 10.1016/03043975(93)900685
 23.
Ehrig H: Introduction to the algebraic theory of graph grammars. Lect Notes Comp Sci 1979, 13: 1–69.
Acknowledgements
This work was supported in part by the Volkswagen Stiftung proj. no. I/82719, the COSTAction CM0703 “Systems Chemistry”, and the Danish Council for Independent Research, Natural Sciences. Finally, we would like to thank the anonymous reviewers for their helpful comments and suggestions to improve the manuscript.
Author information
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
JLA implemented the rule composition system. All authors contributed to the theory and the writing of the manuscript. All authors read and approved the final manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
About this article
Received
Accepted
Published
DOI
Keywords
 Transformation Rule
 Graph Transformation
 Flux Balance Analysis
 Rule Composition
 Graph Grammar