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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
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