Skip to main content
SpringerLink
Log in
Book cover

Design and Analysis of Biomolecular Circuits pp 225–252Cite as

High-Level Programming Languages for Biomolecular Systems

Abstract

In electronic computing, high-level languages hide much of the details, allowing non-experts and sometimes even children to program and create systems. High level languages for biomolecular systems aim to achieve a similar level of abstraction, so that a system might be designed on the basis of the behaviors that are desired, rather than the particulars of the genetic code that will be used to implement these behaviors. The drawback to this sort of high-level approach is that it generally means giving up control over some aspects of the system and having decreased efficiency relative to hand-tuned designs. Different languages make different tradeoffs in which aspects of design they emphasize and which they automate, so we expect that for biology, there will be no single ‘right language’, just as there is not for electronic computing. Because synthetic biology is a new area, no mature languages have yet emerged. In this chapter, we present an in-depth survey of four representative languages currently in development – GenoCAD, Eugene, GEC, and Proto – as well as a brief overview of other related high-level design tools.

Keywords

  • Synthetic biology
  • Abstraction
  • High level languages
  • GenoCAD
  • GEC
  • Proto
  • Eugene
  • Modeling
  • Design
  • XOR

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. Bachrach J, Beal J, Fujiwara, T (2007) Continuous space-time semantics allow adaptive program execution. In proceedings of IEEE International conference on Self-Adaptive and Self-Organizing Systems (SASO), Cambridge, MA

    Google Scholar 

  2. Basu S, Gerchman Y, Collins CH, Arnold FH, Weiss R (2005) A synthetic multicellular systems for programmed pattern formation. Nature 434:1130–1134

    CrossRef  Google Scholar 

  3. Beal J (2005) Programming an amorphous computational medium. In: Banâtre J-P, Fradet P, Giavitto J-L, Michel O (eds) Unconventional programming paradigms international workshop: lecture notes in computer science, vol 3566. Springer, Berlin/Heidelberg, p 97

    Google Scholar 

  4. Beal J, Bachrach J (2006) Infrastructure for engineered emergence in sensor/actuator networks. IEEE Intell Syst 21(2):10–19

    CrossRef  Google Scholar 

  5. Beal J, Bachrach J (2008) Cells are plausible targets for high-level spatial languages. Spatial computing workshop. Venice, Italy

    Google Scholar 

  6. Beal J, Lu T, Weiss R (2010) Automatic compilation from high-level languages to genetic regulatory networks. In: Proceedings of 2nd International Workshop on Bio-Design Automation, Anaheim, CA

    Google Scholar 

  7. Berkeley Software 2009 iGem Team (October 2009) Eugene. http://2009.igem.org/Team:Berkeley{_}Software/Eugene. Accessed 10 May 2010

  8. Bing X, Swapnil B, Ben B, Maisam D, Douglas D, Anderson JC (2011) Clotho: a software platform for the creation of synthetic biological systems, A developer’s and user’s guide for clotho v2.0, Methods in enzymology, vol 498 (in press)

    Google Scholar 

  9. Cai Y, Hartnett B, Gustafsson C, Peccoud J (2007) A syntactic model to design and verify synthetic genetic constructs derived from standard biological parts. Bioinformatics 23(20):2760–2767

    CrossRef  Google Scholar 

  10. Cai Y, Lux MW, Adam L, Peccoud J (2009) Modeling structure-function relationships in synthetic dna sequences using attribute grammars. PLoS Comput Biol 5(10):e1000529

    CrossRef  MathSciNet  Google Scholar 

  11. Cai Y, Wilson ML, Peccoud J (2010) Genocad for igem: a grammatical approach to the design of standard-compliant constructs. Nucleic Acids Res 38(8):2637–2644

    CrossRef  Google Scholar 

  12. Chandran D, Bergmann F, Sauro H (2009) Tinkercell: modular cad tool for synthetic biology. J Biol Eng 3(1):19

    CrossRef  Google Scholar 

  13. Chomsky N (1956) Three models for the description of language. IRE Trans Inf Theory 2(3):113–124

    CrossRef  Google Scholar 

  14. Coore D (1999) Botanical computing: a developmental approach to generating inter connect topologies on an amorphous computer. PhD thesis, MIT, Cambridge, MA, USA

    Google Scholar 

  15. Czar MJ, Cai Y, Peccoud J (2009) Writing dna with genocad. Nucleic Acids Res 37(Web Server issue):W40–W47

    Google Scholar 

  16. Densmore D, Hsiau TH-C, Kittleson JT, DeLoache W, Batten C, Anderson JC (2010) Algorithms for automated dna assembly. Nucleic Acids Res 38(8):2607–2616

    CrossRef  Google Scholar 

  17. Densmore D, Van Devender A, Johnson M, Sritanyaratana N (2009) A platform-based design environment for synthetic biological systems. TAPIA ’09: the fifth Richard Tapia celebration of diversity in computing conference, ACM, New York, pp 24–29

    Google Scholar 

  18. Finney A, Hucka M, Bornstein BJ, Keating SM, Shapiro BM, Matthews J, Kovitz BK, Schilstra MJ, Funahashi A, Doyle J, Kitano H (2006) Software infrastructure for effective communication and reuse of computational models. In: Szallasi Z, Stelling J, Periwal V (eds) System modeling in cell biology: from concepts to nuts and bolts. MIT Press, Cambridge, MA, USA

    Google Scholar 

  19. Giavitto J-L, Godin C, Michel O, zemyslaw Prusinkiewicz Pr (2002) Computational models for integrative and developmental biology. Technical report 72-2002, Univerite d’Evry, LaMI

    Google Scholar 

  20. Hill AD, Tomshine JR, Weeding EMB, Sotiropoulos V, Kaznessis YN (2008) Synbioss: the synthetic biology modeling suite. Bioinformatics 24(21):2551–2553

    CrossRef  Google Scholar 

  21. Umesh P, Naveen F, Rao C, Nair A (2011) Programming languages for synthetic biology. Springer, Netherlands, pp 1–5

    Google Scholar 

  22. Lesia B, Adam L, and Douglas D (2011) The eugene language for synthetic biology, Methods in enzymology, vol. 498 (in press)

    Google Scholar 

  23. Lesia B, Adam L, Sherine C, Emma W, Bing X, Mariana L, Anderson JC, Douglas D Eugene – a domain specific language for specifying and constraining synthetic biological parts, devices, and systems, PLoS ONE (in press)

    Google Scholar 

  24. Mallavarapu A, Thomson M, Ullian B, Gunawardena J (2009) Programming with models: modularity and abstraction provide powerful capabilities for systems biology. J R Soc Interface 6(32):257–270

    CrossRef  Google Scholar 

  25. Marchisio MA, Stelling J (2010) Automatic design of digital synthetic gene circuits. 2nd international workshop on bio-design automation, San Diego, USA

    Google Scholar 

  26. Mirschel S, Steinmetz K, Rempel M, Ginkel M, Gilles ED (2009) Promot: modular modeling for systems biology. Bioinformatics 25(5):687–689

    CrossRef  Google Scholar 

  27. Myers CJ, Barker N, Jones K, Kuwahara H, Madsen C, Nguyen NP (2009) Ibiosim: a tool for the analysis and design of genetic circuits. Bioinformatics 25:2848–2849

    CrossRef  Google Scholar 

  28. Nagpal R (2001) Programmable self-assembly: constructing global shape using biologically-inspired local interactions and origami mathematics. PhD thesis, MIT, Cambridge, MA, USA

    Google Scholar 

  29. Nathan JH (2010) j5 automated dna assembly software. http://jbei-exwebapp.lbl.gov/j5. Accessed 28 Sept. 2010

  30. Paun G (2002) Membrane computing: an introduction. Springer-Verlag New York, Inc., Secaucus, NJ, USA

    MATH  Google Scholar 

  31. Pedersen M, Phillips A (2009a) Towards programming languages for genetic engineering of living cells. J R Soc Interface 6(Suppl 4):S437–S450

    CrossRef  Google Scholar 

  32. Prusinkiewicz P, Lindenmayer A (1990) The algorithmic beauty of plants. Springer-Verlag, New York

    MATH  Google Scholar 

  33. Purnick PEM, Weiss R (2009) The second wave of synthetic biology: from modules to systems. Nat Rev Mol Cell Biol 10(6):410–422

    CrossRef  Google Scholar 

  34. Rothemund PWK (2005) Design of DNA origami. In: International Conference on Computer Aided Design (ICCAD’05). San Jose, CA, pp 471–478

    Google Scholar 

  35. Shea A, Riedel M, Fett B, Parhi K (2009) Synthesizing sequential register-based computation with biochemistry. In: Computer Aided Design – Digest of Technical Papers (ICCAD’09). IEEE/ACM International Conference on 2–5 Nov. San Jose, CA, USA, pp 136–143

    Google Scholar 

  36. Smith LP, Bergmann FT, Chandran D, Sauro HM (2009) Antimony: a modular model definition language. Bioinformatics 25(18):2452–2454

    CrossRef  Google Scholar 

  37. Sudkamp TA (2006) Languages and machines: an introduction to the theory of computer science, 3rd edn. Pearson Addison-Wesley, Boston

    Google Scholar 

  38. Weiss R (2001) Cellular computation and communications using engineered genetic regulatory networks. PhD thesis, MIT, Cambridge, MA, USA

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. BBN Technologies, Cambridge, Massachusetts, USA

    Jacob Beal

Authors
  1. Jacob Beal
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrew Phillips
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Douglas Densmore
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yizhi Cai
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jacob Beal .

Editor information

Editors and Affiliations

  1. , Automatic Control Laboratory, ETH Zurich, Physikstrasse 3, Zurich, 8092, Switzerland

    Heinz Koeppl

  2. ARCES, Università di Bologna, Via Toffano 2/2, Bologna, 40125, Italy

    Gianluca Setti

  3. Università di Napoli Federico II, Via Claudio 21, Napoli, 80125, Italy

    Mario di Bernardo

  4. , Department of Electrical and Computer En, Boston University, Saint Mary's St. 8, Boston, 02446, Massachusetts, USA

    Douglas Densmore

Rights and permissions

Reprints and Permissions

Copyright information

© 2011 Springer Science+Business Media, LLC

About this chapter

Cite this chapter

Beal, J., Phillips, A., Densmore, D., Cai, Y. (2011). High-Level Programming Languages for Biomolecular Systems. In: Koeppl, H., Setti, G., di Bernardo, M., Densmore, D. (eds) Design and Analysis of Biomolecular Circuits. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-6766-4_11

Download citation

  • DOI: https://doi.org/10.1007/978-1-4419-6766-4_11

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4419-6765-7

  • Online ISBN: 978-1-4419-6766-4

  • eBook Packages: EngineeringEngineering (R0)

search

Navigation