Abstract
This chapter provides an overview of a programming language for Genetic Engineering of Cells (GEC). A GEC program specifies a genetic circuit at a high level of abstraction through constraints on otherwise unspecified DNA parts. The GEC compiler then selects parts which satisfy the constraints from a given parts database. GEC further provides more conventional programming language constructs for abstraction, e.g., through modularity. The GEC language and compiler is available through a Web tool which also provides functionality, e.g., for simulation of designed circuits.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
- 2.
Available at www.partsregistry.org.
References
Regev A, Silverman W, Shapiro E (2001) Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Pacific symposium on biocomputing. pp 459–470. doi: 10.1142/9789814447362_0045
Hillston J (1996) A compositional approach to performance modelling. Cambridge University Press, New York
Danos V, Feret J, Fontana W et al (2007) Rule-based modelling of cellular signalling. In: CONCUR, volume 4703 of LNCS. Springer, pp 17–41. doi: 10.1007/978-3-540-74407-8_3
Ciocchetta F, Hillston J (2009) Bio-PEPA: a framework for the modelling and analysis of biological systems. Theor Comput Sci 410(33–34):3065–3084. doi:10.1016/j.tcs.2009.02.037
Pedersen M, Phillips A (2009) Towards programming languages for genetic engineering of living cells. J R Soc Interface. ISSN 1742-5662. doi: 10.1098/rsif.2008.0516.focus
Pedersen M, Lakin M, Polo M et al (2013) GEC tool. http://research.microsoft.com/gec
Pedersen M, Plotkin G (2010) A language for biochemical systems: design and formal specification. In: Trans Comput Syst Biol, volume 5945. Springer, pp 77–145. doi:10.1007/978-3-642-11712-1_3
Mirams GR, Arthurs CJ, Bernabeu MO et al (2013) Chaste: an open source C++ library for computational physiology and biology. PLoS Comput Biol 9(3):e1002970. doi:10.1371/journal. pcbi.1002970
Rudge TJ, Steiner PJ, Phillips A et al (2012) Computational modeling of synthetic microbial biofilms. ACS Syn Biol. doi:10.1021/sb300031n
Elowitz MB, Leibler S (2000) A synthetic oscillatory network of transcriptional regulators. Nature 403(6767):335–338
Clancy K, Voigt C (2010) Programming cells: towards an automated ‘Genetic Compiler’. Curr Opin Biotechnol 21:572–581. doi:10.1016/j.copbio.2010.07.005
Cai Y, Hartnett B, Gustafsson C et al (2007) A syntactic model to design and verify synthetic genetic constructs derived from standard biological parts. Bioinformatics 23(20):2760–2767. doi:10.1093/bioinformatics/btm446
Cai Y, Lux MW, Adam L et al (2009) Modeling structure function relationships in synthetic DNA sequences using attribute grammars. PLoS Comput Biol 5(10):e1000529. doi:10.1371/journal.pcbi.1000529
Smith LP, Bergmann FT, Chandran D et al (2009) Antimony: a modular model definition language. Bioinformatics 25(18):2452–2454. doi:10.1093/bioinformatics/btp401
Bilitchenko L, Liu A, Cheung S et al (2011) Eugene—a domain specific language for specifying and constraining synthetic biological parts, devices, and systems. PLoS One 6(4). doi: 10.1371/journal.pone.0018882
Densmore D, Van Devender A, Johnson M et al (2009) A platform-based design environment for synthetic biological systems. In: The 5th Richard Tapia celebration of diversity in computing conference: intellect, initiatives, insight, and innovations, TAPIA’09. ACM, pp 24–29. doi: 10.1145/1565799.1565806
Beal J, Weiss R, Densmore D et al (2012) An end-to-end workflow for engineering of biological networks from high-level specifications. ACS Syn Biol. doi:10.1021/sb300030d
Vecchio DD, Ninfa AJ, Sontag ED (2008) Modular cell biology: retroactivity and insulation. Mol Syst Biol 4. doi:10.1038/msb4100204
Mutalik VK, Guimaraes JC, Cambray G et al (2013) Precise and reliable gene expression via standard transcription and translation initiation elements. Nat Methods 10(4):354–360, http://dx.doi.org/10.1038/nmeth.2404
Kelly JR, Rubin AJ, Davis JH et al (2009) Measuring the activity of BioBrick promoters using an in vivo reference standard. J Biol Eng 3:4. doi:10.1186/1754-1611-3-4
Brown JR (2011) A design framework for self-organised Turing patterns in microbial populations. Phd dissertation, University of Cambridge
Dalchau N, Smith MJ, Martin S et al (2012) Towards the rational design of synthetic cells with prescribed population dynamics. J R Soc Interface 9(76):2883–2898. doi:10.1098/rsif.2012.0280
Yordanov B, Dalchau N, Grant P et al (2013) Automated ratiometric characterization using GEC. In: 2013 international workshop on biodesign automation (IWBDA’13), July 2013
Yordanov B, Wintersteigern CM, Hamadi Y et al (2013) SMT-based analysis of biological computation. In: NASA formal methods symposium 2013. Springer. doi:10.1007/978-3-642-38088-4_6
Bhatia Y, Bhatia S, Adler A et al (2012) Automated selection of synthetic biology parts for genetic regulatory networks. ACS Syn Biol 1(8):332–344. doi:10.1021/sb300032y
de Moura LM, Bjørner N (2008) Z3: an efficient SMT solver. In: TACAS, volume 4963 of LNCS. Springer, pp 337–340. doi:10.1007/978-3-540-78800-3_24
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer Science+Business Media New York
About this protocol
Cite this protocol
Pedersen, M., Yordanov, B. (2015). Programming Languages for Circuit Design. In: Marchisio, M. (eds) Computational Methods in Synthetic Biology. Methods in Molecular Biology, vol 1244. Humana Press, New York, NY. https://doi.org/10.1007/978-1-4939-1878-2_5
Download citation
DOI: https://doi.org/10.1007/978-1-4939-1878-2_5
Published:
Publisher Name: Humana Press, New York, NY
Print ISBN: 978-1-4939-1877-5
Online ISBN: 978-1-4939-1878-2
eBook Packages: Springer Protocols