one of the central challenges to biology is understanding biological information flow such as how genotypes manifest into functional phenotypes .
historically , biological experiments have been difficult to conduct leading to a scarcity of data . however , technological improvements in experimental high - throughput measurements have shifted biology to being a data - rich field , driving a need for analytical tools to facilitate the analysis and interpretation of biological data .
metabolic engineering applies biological information to genetically modify cellular function , usually toward production of a targeted chemical or protein product .
metabolic engineering research requires knowledge of integrated cellular function and molecular detail to be successful .
broadly , there are two types of approaches that lead to successful metabolic engineering results : directed designs built upon knowledge or combinatorial screening that leverages high - throughput experimental techniques . within the past fifteen years
, computational tools have been developed to leverage biological data in the analysis and design of microbial strains for metabolic engineering and have facilitated prospective metabolic engineering design .
these tools began with genome - scale metabolic models that aid in the analysis and prediction of whole cell function and have expanded to include tools for predicting the function of specific dna sequences . here
, a brief overview is presented on the development and progression of computational tools that can be applied to metabolic engineering .
individual fields of systems biology , synthetic biology , computational biology , or metabolic engineering are expansive enough for multiple reviews .
the specific focus of this mini - review is to focus on a subset of tools from systems biology and synthetic biology that can be used in combination to enable prospective in silico strain design .
key developments associated with genome - scale metabolic models and algorithms that can be used to computationally propose microbial strain design will be discussed .
specific developments in synthetic biology associated with transcriptional and translational control will also be presented and placed within the context of genome - scale modeling and metabolic engineering .
systems biology emphasizes data - intensive , integrative analyses that account for extended network function . with the introduction of whole genome sequencing and genomics technologies ,
one of the first objectives was to develop methods utilizing genomic information to understand and predict phenotypic function .
the constraint - based modeling approach   was implemented to generate genome - scale metabolic models of some of the first organisms with genome sequences [ 24 ] , demonstrating the conceptual value of this computational approach .
the initial genome - scale models were constructed based upon genomic data ( sequence information ) and biochemical data ( reaction stoichiometry ) in conjunction with linear programming to apply mass balancing principles to a whole - cell system .
the conceptual framework provided a context for analyzing attributes of a cellular system   and was shown to be able to predict cellular growth phenotypes . since the initial development of genome - scale models , a wide variety of improvements have been made to address different needs .
these range from understanding the underlying structure of networks by using elementary modes   or extreme pathways , model - building approaches , and progressively more cellular detail including thermodynamics , transcriptional regulation , and signaling pathways .
all of these have contributed to improve the predictive capability and accuracy of genome - scale metabolic models and can be used to study a variety of aspects of cellular systems . here
, we are specifically going to focus on the existing tools and challenges associated with genome - scale metabolic models , particularly as they apply to metabolic engineering applications .
an overview of computational tools presented here is shown in table  1 , which only represents a select subset of the numerous available tools and algorithms that have been developed .
a more comprehensive ( and continually updated ) list of tools associated with constraint - based models is curated online ( cobramethods.wikidot.com ) .
using the natural ability of genome - scale metabolic models to simulate the behavior of cellular metabolism one can predict cellular designs for maximizing chemical production .
metabolic engineering goals of identifying and modifying pathway fluxes to optimize the production of a desired chemical product align well with the pathway - level predictions that are generated from a genome - scale model .
the foundation for this work was demonstrated when it was shown that the constraint - based modeling approach could reasonably predict the cellular growth phenotypes resulting from genetic modifications ( gene deletions )   in escherichia coli .
this quickly led to a demonstration of using a genome - scale model of e. coli to predict strain designs for the over - production of lactic acid , which set the stage for genome - scale models as powerful computational tools for strain design .
the first iterations of combining computer - aided strain design with experimental implementation relied on strain designs that incorporated gene deletions .
this approach was computationally achievable through the removal of pathways associated with genes ( following gene  protein 
reaction relationships ) and could be achieved experimentally with established methods for targeted gene deletions using homologous recombination .
initial results were promising from the standpoint that the designs improved overall production of the desired chemical , but there was still a quantitative mismatch between the computationally calculated theoretical yield and the experimental yield .
the discrepancy between computationally predicted function and actual function led to the development of an algorithm to predict targets for iterative improvement of the experimental strain . by utilizing transcriptomic data of the experimental strain , algorithmic analysis predicted areas of metabolism with the largest difference between the theoretical and experimental function .
this analysis predicted specific genes to be targeted for synthetic regulation of gene expression ( increased or decreased expression ) .
recently , several developments have occurred in parallel both computationally and experimentally . for constraint - based genome - scale metabolic models , new methodologies and analyses
continue to be developed that improve the accuracy of these models to predict cellular phenotypes .
one major consideration for genome - scale metabolic models is that the mathematical representation for a biological system is underdetermined and thus , the same cellular phenotype can be reproduced from different underlying flux states / pathway usage .
for example , a normal growth phenotype may have numerous proposed flux states that vary in specific pathway use , but produce the same cellular growth rate / product yield .
however , once genetic modification of the network is implemented , all of the possible flux states may no longer be functionally equivalent . when considering growth phenotypes at the level of cellular growth , it may not be necessary to explicitly identify the exact flux state of the cell .
knowledge of the starting in vivo flux state is important for pathway - specific metabolic engineering design .
the problem of identifying in vivo flux states within the context of genome - scale metabolic models has been approached using a combination of high - throughput experimental data and computational algorithms .
the initial formulation of this approach used transcriptomic or proteomic data with a human metabolic model to identify tissue - specific metabolic differences . in this approach ,
the experimental data was translated to a binary present / absent scoring for each individual transcript / protein .
the scored experimental data was then algorithmically integrated with the metabolic model framework using mixed integer linear programming ( milp ) to calculate a flux state that is parsimonious with the experimental data .
the underlying principle seeks to maximize the agreement between experimental data and computational fluxes where experimentally present entities can carry flux and experimentally absent entities should have zero flux .
the milp approach to experimental data integration and prediction of in vivo flux states has started to be adopted for metabolic engineering purposes .
one example of this is the development and analysis of a metabolic model for the cellulolytic anaerobe , clostridium thermocellum .
c. thermocellum naturally produces a cellulosome that efficiently breaks down cellulosic biomass in carbohydrate monomers that c. thermocellum can ferment into ethanol and hydrogen as metabolic end - products .
thus , c. thermocellum has been a focal organism for biofuel development . after developing a c. thermocellum model that explicitly produces a cellulosome ,
milp integration of the rnaseq data with the metabolic model helped improve the accuracy of computational predictions and helped identify genetic targets to improve biofuel production .
another major improvement in genome - scale metabolic modeling was the explicit inclusion of charge - balancing for biochemical reactions . while the initial formulation of constraint - based models was based upon material balances , reactions were not necessarily charge - balanced without careful curation of individual reactions .
this was first implemented with the model for e. coli 
  and has become standard practice for constraint - based model reconstruction .
this detailed aspect of the models becomes integral to metabolic engineering especially in cases involving fermentation where restricted energetics lead to higher fluxes and distributions of metabolic end - products need to maintain redox balance for the cell .
this was shown to be particularly important for organisms with growth phase shifts such as the commercial organism clostridium acetobutylicum that is central to the acetone 
c. acetobutylicum goes through distinct acidogenic and solventogenic growth phases with widely different metabolic end - products produced in each phase .
critical to understanding and modeling the shift and difference in end - products produced was the development and analysis of proton fluxes for c. acetobutylicum 
 .
one of the most recent major conceptual advances in the constraint - based modeling methodology was the formulation of the expression matrix , or e matrix , in e. coli 
 .
constraint - based models to this point have been developed using biochemical reaction stoichiometry to form a stoichiometric matrix ( s ) that provides and establishes a gene 
the stoichiometric matrix provides the basis for all simulations utilizing flux balance analysis ( fba ) , but considers the metabolic network as an abstraction from the cell where basically any gene product can be produced at any amount with no cellular cost .
the e matrix represents a major advancement in detail and prediction as it explicitly accounts for all mechanisms required for transcription , translation , and modification of each gene product .
along with adding a new level of mechanistic biological detail , the development of the e matrix enables the prediction of two important aspects of cellular function .
one is that the e matrix allows a priori prediction of the transcriptome and proteome directly based upon a genetic sequence .
the second major benefit is that cellular costs can be associated with producing each gene product , thus the cellular cost  benefit aspect of expressing pathways ( e.g. heterologous pathways ) can now be considered .
based upon the stoichiometric matrix ( or even including the expression matrix ) , standard simulations using genome - scale metabolic models utilize flux balance analysis ( fba ) as a staple for making predictions of pathway fluxes and phenotypes .
this analysis assumes a pseudo - steady state hypothesis and does not explicitly account for any process kinetics .
a methodological improvement to fba was the development of dynamic flux balance analysis ( dfba ) .
dfba was initially developed considering two different approaches to explicitly integrate kinetics into fba simulations .
the first approach was to reformulate the problem to account for metabolite concentrations and the dynamic optimization problems were solved using non - linear programming over the entire designated time period of interest .
the second approach discretized the time period of interest into smaller time steps that were solved individually using linear programming with a final integration of time steps .
both approaches extended the analytical capabilities of the e. coli model when used to study diauxic growth on glucose .
the concept of dfba has been expanded to also explicitly include michaelis  menten kinetics for processes where reasonable rate parameters could be found and used as a basis for modeling microbial consortia . designer microbial consortia are gaining interest as a potential means of efficiently utilizing some of the unique capabilities of different microbes . in the cellulosic biorefinery for example , since many of the highly efficient cellulolytic microbes are strict anaerobes and have poor tools for genetic manipulation the process consists of two steps : saccharification by a cellulolytic microbe and fermentation of freed sugars to a metabolic product by a genetically tractable microbe .
thus , a single - step consolidated bioprocess ( cbp ) could conceptually be designed from a microbial consortium with an anaerobic cellulolytic microorganism for the degradation of lignocellulosic material , a supporting facultative anaerobe that can be used to consume oxygen to produce an anaerobic environment and cross - feed off of secreted metabolic end - products to produce a desired chemical product .
microbial consortia are often difficult to propagate and stabilize in a laboratory setting making experimental approaches to consortium design difficult . ideally , genome - scale metabolic models can be used to study and predict microbial consortium behavior . while the mass balance conceptual framework of metabolic inputs and outputs is foundational to computational study of microbial consortia , analytical frameworks needed to be developed to interface individual organism models . to date ,
there have been two noted formulations of constraint - based modeling approaches applied to microbial consortia .
the first was an iteration of dfba that modeled a co - culture of c. acetobutylicum and clostridium cellulolyticum 
 .
this formulation was used as a basis for studying some of the interactions between the two clostridia to elucidate some of the synergies that arise from co - culture . independently , a separate multi - level optimization computational framework known as optcom was developed as a general and scalable means of studying microbial communities and the interactions within those communities .
the optcom framework considers the community by splitting optimization between individual organism fitness considerations and the overall community fitness as a secondary optimization .
the optcom framework was later expanded to explicitly incorporate dynamic behavior in the d - optcom framework .
the d - optcom framework was initially used to study auxotrophic strains of e. coli and a microbial community composed of geobacter sulfurreducens , rhodoferax ferrireducens , and shewanella oneidensis that reduce uranium .
the final analytical component when using genome - scale metabolic models as a tool for microbial strain design is an algorithm that can facilitate the design process .
a growing number of algorithms have been developed that expand the predictive capabilities of genome - scale models to simulate different strain design parameters .
one of the first strain design algorithms to be developed for use with genome - scale metabolic models was optknock   that formulated a bi - level optimization where gene deletions were considered to increase the production of a desired chemical while maintaining cellular growth .
underlying the algorithm development was the premise that secretion of a target chemical could be stoichiometrically coupled to growth such that the faster a cell grew the faster the chemical would be produced .
e. coli strains designed by optknock to secrete lactic acid experimentally demonstrated that it is possible to couple growth with chemical secretion .
subsequent to optknock , several variant algorithms have been developed including optstrain , optorf , optflux , and optforce .
in addition to the family of algorithms related to optknock , there have been numerous variant algorithms developed to address computational or algorithmic limitations .
emilio   was developed as a computationally efficient algorithm for searching through a broader range of possible genetic manipulations .
cosmos   developed designs for a variety of manipulations , but considered the problem based upon fluxes ( and flux modifications ) .
elementary modes were used as the design basis for identifying knockout or overexpression targets in the casop   method and relative flux ratios were used as a design criterion for fbratio .
the recent algorithms such as k - optforce   and dyssco   have incorporated process kinetics into the design consideration .
using any of these approaches allows the prediction of how genetic modification will impact an organism production of a target chemical .
these predictions even provide sufficient detail to identify on a pathway - by - pathway basis the exact flux that is required to achieve the optimal production rate .
the challenge has remained in the translation of the computationally predicted strain design ( and corresponding optimal flux state ) to the in vivo system .
in other words , if you can identify exactly what pathways you want to express and exactly what flux you want through each of those pathways , how do you get your cell to exactly match the computational prediction ?
experimentally , the rapid development of molecular biology and genetic engineering tools typified by synthetic biology has significantly increased the ability to explicitly design and implement controllable genetic constructs .
these improvements were enabled by the technological advances in dna synthesis and rapid , high - fidelity assembly of dna fragments [ 4345 ] . once genetic circuits could be constructed in an efficient and inexpensive manner with base - by - base specificity , it was possible to interrogate sequence - to - function relationships . while central to the investigation of all biological functions , for metabolic engineering applications this represented a broad advance where finer control over the expression of genes in a given pathway could be designed and implemented . designed
developments in synthetic biology have occurred in parallel with systems biology developments ( fig .  1 ) and enable multi - scale approaches to metabolic engineering .
the transcriptional process involves a binding event between a dna sequence ( promoter ) and rna polymerase to initiate polymerization of an mrna .
when naturally occurring promoter sequences are analyzed , there are conserved sequence motifs corresponding to regions that physically bind to the sigma subunit of the rna polymerase .
sequence variation in the promoter affects transcriptional strength ; however , it has been difficult to predict the binding interaction between a promoter and rna polymerase as it involves binding between dna and a folded protein .
some of the early work in this area was empirically based ( out of necessity ) . naturally occurring variations in dna sequences associated with transcription
identification of these dna sequences was the basis for constructing and characterizing libraries of transcription - associated dna sequences . in the early stages of the development of synthetic biology and the registry of standard biological parts ( parts.igem.org ) ,
transcriptional dna parts were created and cataloged allowing for more detailed characterization and use of genetic variants for transcriptional control .
the decreased cost of direct dna synthesis further expedited the investigation of sequence variation to function for transcriptional control .
base - by - base changes in promoter ( or up element ) sequences could be accurately synthesized and rapidly tested in synthetic dna constructs .
controlled sequence - to - function relationships could then be extrapolated using mathematical correlation methods such as a position weight matrix ( pwm ) .
pwms are a mathematical representation of a pattern and were initially applied to biological systems as a quantitative means of investigating conserved dna sequences .
recently , pwms have been used to quantitatively describe the sequence - to - function relationship for promoters in e. coli 
 . by dividing promoter sequences into 6 motifs (   35 , spacer ,   10 , disc start , initial transcribed region )
, 60 different promoter sequences were characterized for promoter strength and used to evaluate the influence of specific genetic changes on function .
this approach was also applied to a class of transcriptional modulating sequences called up elements , which occur upstream of core promoter sequences . in these cases ,
thus , with the recent modeling developments , transcriptional control has progressed from empirical understanding to quantitatively modeled predictions that can direct synthetic promoter design to produce a desired level of transcriptional strength . following transcription ,
translation initiates when a ribosome interacts with a ribosome binding site ( rbs ) and facilitates the subsequent trna binding to mrna codons to produce polypeptides by the addition of amino acids .
of these three steps , translation initiation is the rate - limiting step and within each cell different rates of translation initiation are found due to variation in the dna sequence of the rbs .
thus , the functional amount of protein produced in terms of translation is tied to the thermodynamics of rbs 
recently , a computational approach has been developed to predict translation initiation rates for all start codons in a given dna sequence based upon a thermodynamic calculation of gibbs free energy .
this calculation specifically considers the interaction of the 30s ribosomal subunit with a specific mrna sequence .
the total change in gibbs free energy ( gtot ) is overall calculated as the difference in gibbs free energy between the 30s subunit complex bound to the mrna sequence and the 30s subunit and mrna sequence with no interaction .
ribosome binding site calculator    can be used not only to predict translation initiation rates for existing sequences , but also to design de novo rbs sequences for synthetically controlling translated protein levels .
synthetic biology has now developed a complement of experimental and computational tools to design and control individual gene expression levels at both the transcriptional and translational levels .
these tools enable a finer level of design control for biological systems and can be implemented for metabolic engineering applications where the production of a desired product is typically linked to carefully balancing multiple pathway fluxes .
progress in synthetic biology is providing a suite of molecular - level tools that is a natural complement to network / systems - level analyses .
using the natural ability of genome - scale metabolic models to simulate the behavior of cellular metabolism one can predict cellular designs for maximizing chemical production .
metabolic engineering goals of identifying and modifying pathway fluxes to optimize the production of a desired chemical product align well with the pathway - level predictions that are generated from a genome - scale model .
the foundation for this work was demonstrated when it was shown that the constraint - based modeling approach could reasonably predict the cellular growth phenotypes resulting from genetic modifications ( gene deletions )   in escherichia coli .
this quickly led to a demonstration of using a genome - scale model of e. coli to predict strain designs for the over - production of lactic acid , which set the stage for genome - scale models as powerful computational tools for strain design .
the first iterations of combining computer - aided strain design with experimental implementation relied on strain designs that incorporated gene deletions .
this approach was computationally achievable through the removal of pathways associated with genes ( following gene  protein 
reaction relationships ) and could be achieved experimentally with established methods for targeted gene deletions using homologous recombination .
initial results were promising from the standpoint that the designs improved overall production of the desired chemical , but there was still a quantitative mismatch between the computationally calculated theoretical yield and the experimental yield .
the discrepancy between computationally predicted function and actual function led to the development of an algorithm to predict targets for iterative improvement of the experimental strain . by utilizing transcriptomic data of the experimental strain , algorithmic analysis predicted areas of metabolism with the largest difference between the theoretical and experimental function .
this analysis predicted specific genes to be targeted for synthetic regulation of gene expression ( increased or decreased expression ) .
recently , several developments have occurred in parallel both computationally and experimentally . for constraint - based genome - scale metabolic models , new methodologies and analyses
continue to be developed that improve the accuracy of these models to predict cellular phenotypes .
one major consideration for genome - scale metabolic models is that the mathematical representation for a biological system is underdetermined and thus , the same cellular phenotype can be reproduced from different underlying flux states / pathway usage .
for example , a normal growth phenotype may have numerous proposed flux states that vary in specific pathway use , but produce the same cellular growth rate / product yield .
however , once genetic modification of the network is implemented , all of the possible flux states may no longer be functionally equivalent .
when considering growth phenotypes at the level of cellular growth , it may not be necessary to explicitly identify the exact flux state of the cell .
knowledge of the starting in vivo flux state is important for pathway - specific metabolic engineering design .
the problem of identifying in vivo flux states within the context of genome - scale metabolic models has been approached using a combination of high - throughput experimental data and computational algorithms .
the initial formulation of this approach used transcriptomic or proteomic data with a human metabolic model to identify tissue - specific metabolic differences . in this approach ,
the experimental data was translated to a binary present / absent scoring for each individual transcript / protein .
the scored experimental data was then algorithmically integrated with the metabolic model framework using mixed integer linear programming ( milp ) to calculate a flux state that is parsimonious with the experimental data .
the underlying principle seeks to maximize the agreement between experimental data and computational fluxes where experimentally present entities can carry flux and experimentally absent entities should have zero flux .
the milp approach to experimental data integration and prediction of in vivo flux states has started to be adopted for metabolic engineering purposes .
one example of this is the development and analysis of a metabolic model for the cellulolytic anaerobe , clostridium thermocellum .
c. thermocellum naturally produces a cellulosome that efficiently breaks down cellulosic biomass in carbohydrate monomers that c. thermocellum can ferment into ethanol and hydrogen as metabolic end - products .
thus , c. thermocellum has been a focal organism for biofuel development . after developing a c. thermocellum model that explicitly produces a cellulosome ,
milp integration of the rnaseq data with the metabolic model helped improve the accuracy of computational predictions and helped identify genetic targets to improve biofuel production .
another major improvement in genome - scale metabolic modeling was the explicit inclusion of charge - balancing for biochemical reactions .
while the initial formulation of constraint - based models was based upon material balances , reactions were not necessarily charge - balanced without careful curation of individual reactions .
this was first implemented with the model for e. coli 
  and has become standard practice for constraint - based model reconstruction .
this detailed aspect of the models becomes integral to metabolic engineering especially in cases involving fermentation where restricted energetics lead to higher fluxes and distributions of metabolic end - products need to maintain redox balance for the cell .
this was shown to be particularly important for organisms with growth phase shifts such as the commercial organism clostridium acetobutylicum that is central to the acetone 
c. acetobutylicum goes through distinct acidogenic and solventogenic growth phases with widely different metabolic end - products produced in each phase .
critical to understanding and modeling the shift and difference in end - products produced was the development and analysis of proton fluxes for c. acetobutylicum 
 .
one of the most recent major conceptual advances in the constraint - based modeling methodology was the formulation of the expression matrix , or e matrix , in e. coli 
 .
constraint - based models to this point have been developed using biochemical reaction stoichiometry to form a stoichiometric matrix ( s ) that provides and establishes a gene 
the stoichiometric matrix provides the basis for all simulations utilizing flux balance analysis ( fba ) , but considers the metabolic network as an abstraction from the cell where basically any gene product can be produced at any amount with no cellular cost .
the e matrix represents a major advancement in detail and prediction as it explicitly accounts for all mechanisms required for transcription , translation , and modification of each gene product .
along with adding a new level of mechanistic biological detail , the development of the e matrix enables the prediction of two important aspects of cellular function .
one is that the e matrix allows a priori prediction of the transcriptome and proteome directly based upon a genetic sequence .
the second major benefit is that cellular costs can be associated with producing each gene product , thus the cellular cost  benefit aspect of expressing pathways ( e.g. heterologous pathways ) can now be considered .
based upon the stoichiometric matrix ( or even including the expression matrix ) , standard simulations using genome - scale metabolic models utilize flux balance analysis ( fba ) as a staple for making predictions of pathway fluxes and phenotypes . this analysis assumes a pseudo - steady state hypothesis and does not explicitly account for any process kinetics .
a methodological improvement to fba was the development of dynamic flux balance analysis ( dfba ) .
dfba was initially developed considering two different approaches to explicitly integrate kinetics into fba simulations .
the first approach was to reformulate the problem to account for metabolite concentrations and the dynamic optimization problems were solved using non - linear programming over the entire designated time period of interest .
the second approach discretized the time period of interest into smaller time steps that were solved individually using linear programming with a final integration of time steps .
both approaches extended the analytical capabilities of the e. coli model when used to study diauxic growth on glucose .
the concept of dfba has been expanded to also explicitly include michaelis  menten kinetics for processes where reasonable rate parameters could be found and used as a basis for modeling microbial consortia .
designer microbial consortia are gaining interest as a potential means of efficiently utilizing some of the unique capabilities of different microbes . in the cellulosic biorefinery for example , since many of the highly efficient cellulolytic microbes are strict anaerobes and have poor tools for genetic manipulation the process consists of two steps : saccharification by a cellulolytic microbe and fermentation of freed sugars to a metabolic product by a genetically tractable microbe .
thus , a single - step consolidated bioprocess ( cbp ) could conceptually be designed from a microbial consortium with an anaerobic cellulolytic microorganism for the degradation of lignocellulosic material , a supporting facultative anaerobe that can be used to consume oxygen to produce an anaerobic environment and cross - feed off of secreted metabolic end - products to produce a desired chemical product .
microbial consortia are often difficult to propagate and stabilize in a laboratory setting making experimental approaches to consortium design difficult . ideally , genome - scale metabolic models can be used to study and predict microbial consortium behavior . while the mass balance conceptual framework of metabolic inputs and outputs is foundational to computational study of microbial consortia , analytical frameworks needed to be developed to interface individual organism models . to date , there have been two noted formulations of constraint - based modeling approaches applied to microbial consortia .
the first was an iteration of dfba that modeled a co - culture of c. acetobutylicum and clostridium cellulolyticum 
 .
this formulation was used as a basis for studying some of the interactions between the two clostridia to elucidate some of the synergies that arise from co - culture . independently , a separate multi - level optimization computational framework known as optcom was developed as a general and scalable means of studying microbial communities and the interactions within those communities .
the optcom framework considers the community by splitting optimization between individual organism fitness considerations and the overall community fitness as a secondary optimization .
the optcom framework was later expanded to explicitly incorporate dynamic behavior in the d - optcom framework .
the d - optcom framework was initially used to study auxotrophic strains of e. coli and a microbial community composed of geobacter sulfurreducens , rhodoferax ferrireducens , and shewanella oneidensis that reduce uranium .
the final analytical component when using genome - scale metabolic models as a tool for microbial strain design is an algorithm that can facilitate the design process .
a growing number of algorithms have been developed that expand the predictive capabilities of genome - scale models to simulate different strain design parameters .
one of the first strain design algorithms to be developed for use with genome - scale metabolic models was optknock   that formulated a bi - level optimization where gene deletions were considered to increase the production of a desired chemical while maintaining cellular growth . underlying
the algorithm development was the premise that secretion of a target chemical could be stoichiometrically coupled to growth such that the faster a cell grew the faster the chemical would be produced .
e. coli strains designed by optknock to secrete lactic acid experimentally demonstrated that it is possible to couple growth with chemical secretion .
subsequent to optknock , several variant algorithms have been developed including optstrain , optorf , optflux , and optforce .
in addition to the family of algorithms related to optknock , there have been numerous variant algorithms developed to address computational or algorithmic limitations .
emilio   was developed as a computationally efficient algorithm for searching through a broader range of possible genetic manipulations .
cosmos   developed designs for a variety of manipulations , but considered the problem based upon fluxes ( and flux modifications ) .
elementary modes were used as the design basis for identifying knockout or overexpression targets in the casop   method and relative flux ratios were used as a design criterion for fbratio .
the recent algorithms such as k - optforce   and dyssco   have incorporated process kinetics into the design consideration .
using any of these approaches allows the prediction of how genetic modification will impact an organism production of a target chemical .
these predictions even provide sufficient detail to identify on a pathway - by - pathway basis the exact flux that is required to achieve the optimal production rate .
the challenge has remained in the translation of the computationally predicted strain design ( and corresponding optimal flux state ) to the in vivo system .
in other words , if you can identify exactly what pathways you want to express and exactly what flux you want through each of those pathways , how do you get your cell to exactly match the computational prediction ?
experimentally , the rapid development of molecular biology and genetic engineering tools typified by synthetic biology has significantly increased the ability to explicitly design and implement controllable genetic constructs .
these improvements were enabled by the technological advances in dna synthesis and rapid , high - fidelity assembly of dna fragments [ 4345 ] . once genetic circuits could be constructed in an efficient and inexpensive manner with base - by - base specificity , it was possible to interrogate sequence - to - function relationships . while central to the investigation of all biological functions , for metabolic engineering applications this represented a broad advance where finer control over the expression of genes in a given pathway could be designed and implemented . designed
developments in synthetic biology have occurred in parallel with systems biology developments ( fig .  1 ) and enable multi - scale approaches to metabolic engineering .
the transcriptional process involves a binding event between a dna sequence ( promoter ) and rna polymerase to initiate polymerization of an mrna .
when naturally occurring promoter sequences are analyzed , there are conserved sequence motifs corresponding to regions that physically bind to the sigma subunit of the rna polymerase .
sequence variation in the promoter affects transcriptional strength ; however , it has been difficult to predict the binding interaction between a promoter and rna polymerase as it involves binding between dna and a folded protein .
some of the early work in this area was empirically based ( out of necessity ) . naturally occurring variations in dna sequences associated with transcription
identification of these dna sequences was the basis for constructing and characterizing libraries of transcription - associated dna sequences . in the early stages of the development of synthetic biology and the registry of standard biological parts ( parts.igem.org ) ,
transcriptional dna parts were created and cataloged allowing for more detailed characterization and use of genetic variants for transcriptional control .
the decreased cost of direct dna synthesis further expedited the investigation of sequence variation to function for transcriptional control .
base - by - base changes in promoter ( or up element ) sequences could be accurately synthesized and rapidly tested in synthetic dna constructs .
controlled sequence - to - function relationships could then be extrapolated using mathematical correlation methods such as a position weight matrix ( pwm ) .
pwms are a mathematical representation of a pattern and were initially applied to biological systems as a quantitative means of investigating conserved dna sequences .
recently , pwms have been used to quantitatively describe the sequence - to - function relationship for promoters in e. coli 
 . by dividing promoter sequences into 6 motifs (   35 , spacer ,   10 , disc start , initial transcribed region )
, 60 different promoter sequences were characterized for promoter strength and used to evaluate the influence of specific genetic changes on function .
this approach was also applied to a class of transcriptional modulating sequences called up elements , which occur upstream of core promoter sequences . in these cases ,
thus , with the recent modeling developments , transcriptional control has progressed from empirical understanding to quantitatively modeled predictions that can direct synthetic promoter design to produce a desired level of transcriptional strength .
translation initiates when a ribosome interacts with a ribosome binding site ( rbs ) and facilitates the subsequent trna binding to mrna codons to produce polypeptides by the addition of amino acids .
of these three steps , translation initiation is the rate - limiting step and within each cell different rates of translation initiation are found due to variation in the dna sequence of the rbs .
thus , the functional amount of protein produced in terms of translation is tied to the thermodynamics of rbs 
recently , a computational approach has been developed to predict translation initiation rates for all start codons in a given dna sequence based upon a thermodynamic calculation of gibbs free energy .
this calculation specifically considers the interaction of the 30s ribosomal subunit with a specific mrna sequence .
the total change in gibbs free energy ( gtot ) is overall calculated as the difference in gibbs free energy between the 30s subunit complex bound to the mrna sequence and the 30s subunit and mrna sequence with no interaction . this 
ribosome binding site calculator    can be used not only to predict translation initiation rates for existing sequences , but also to design de novo rbs sequences for synthetically controlling translated protein levels .
synthetic biology has now developed a complement of experimental and computational tools to design and control individual gene expression levels at both the transcriptional and translational levels .
these tools enable a finer level of design control for biological systems and can be implemented for metabolic engineering applications where the production of a desired product is typically linked to carefully balancing multiple pathway fluxes .
progress in synthetic biology is providing a suite of molecular - level tools that is a natural complement to network / systems - level analyses .
as a field , metabolic engineering leverages the vast diversity of biochemical capabilities found in biological systems to produce a desired product .
successful metabolic engineering projects typically balance systems - level strain design and molecular - level detail to modify cell function . as such
, metabolic engineering projects often incorporate the most recent biological knowledge and tools as these projects span all levels of biological organization and function within a cell . due to the complexity and multi - scale nature of cellular systems
computational modeling methods are instrumental for analyzing and predicting function , fig .  2 .
for system - level design , genome - scale metabolic models have developed into a robust computational tool for predicting consequences of network modifications on cellular function .
building upon the stoichiometric foundation underlying genome - scale metabolic models , numerous improvements have been made in terms of model contents and analytical tools .
it is now possible to computationally simulate the major cellular components starting with a genome through mechanistic expression and function of proteins .
these simulations can be used for prospective computational design of microbial strains with modified function . depending upon the specific strain design ,
experimental implementation can involve the combinations of gene deletions , gene additions ( heterologous expression ) , gene knockdown , or gene over - expression . at a molecular - level
, it becomes important to understand how best to achieve the desired gene construct and how to experimentally implement the construct to achieve the desired expression level .
work in synthetic biology has started to address both of these aspects through the development of molecular tools for the design and synthesis of dna constructs and specific tools for transcription and translation .
these molecular - level tools allow dna sequences to be designed to provide desired levels of transcription and translation to achieve desired levels of protein function .
furthermore , the designed sequences can then be directly implemented experimentally using dna synthesis and assembly methods .
together , it is now possible to approach metabolic engineering projects using multi - scale computational modeling tools to direct all major facets of experimental research .
metabolic network analysis and design can be achieved using genome - scale models and optimization algorithms .
specific desired pathway fluxes predicted during network analysis can then be individually considered using molecular tools .
control of transcription and translation of each individual gene can then be designed and genetically encoded into a synthetic dna construct for implementation in an engineered microbial strain .
progressively , the complexity of strain designs that can be implemented will also increase opening avenues for targeting difficult products or processes .
synthetic feedback loops or embedded biosensors can be used as built - in control mechanisms for monitoring or triggering cellular processes . controlling the kinetics or throughput of upstream and downstream pathways
it may even be possible to completely redesign   or refactor ) major components of metabolism to more efficiently utilize resource pools to minimize material drains going to biomass .
undoubtedly , there will be a growing number of studies that successfully incorporate and utilize systems biology and synthetic biology such as the development of sequence - expression - activity maps ( seamaps )   that help identify optimal sequences and expression levels .
 metabolic engineering modifies cellular function to address various biochemical applications . 
 underlying metabolic engineering efforts are a host of tools and knowledge that are integrated to enable successful outcomes . 
 concurrent development of computational and experimental tools has enabled different approaches to metabolic engineering . 
 one approach is to leverage knowledge and computational tools to prospectively predict designs to achieve the desired outcome . 
 an alternative approach is to utilize combinatorial experimental tools to empirically explore the range of cellular function and to screen for desired traits . 
 this mini - review focuses on computational systems biology and synthetic biology tools that can be used in combination for prospective in silico strain design . 
Introduction
Main Text
Genome-scale Models and Metabolic Engineering
Synthetic Biology
Transcription
Translation
Summary and Outlook