Towards programming languages for genetic engineering of living cells

Journal of the Royal Society Interface

Volumn 6, Issue SUPPL. 4, 2009, Pages

  Pedersen, Michael ^a,b   Phillips, Andrew ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

^b UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Constraints; Formal methods; Logic programming; Programming language; Synthetic biology

Indexed keywords

ADA (PROGRAMMING LANGUAGE); BIOLOGICAL SYSTEMS; C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; DNA SEQUENCES; FORMAL METHODS; GENES; GENETIC ENGINEERING; GENETIC PROGRAMMING; LINGUISTICS; LOGIC PROGRAMMING; NUCLEIC ACIDS; QUERY LANGUAGES;

BIOLOGICAL PARTS; CONSTRAINTS; CURRENT LIMITATION; DEFINED FUNCTIONS; FORMAL MODEL; HIGH LEVEL OF ABSTRACTION; LANGUAGE DESIGN; LIVING CELL; PROGRAMMING LANGUAGE; PROTEIN INTERACTION; SYNTHETIC BIOLOGY; SYNTHETIC SYSTEMS;

SOFTWARE PROTOTYPING;

ARTICLE; COMPUTER LANGUAGE; COMPUTER PROGRAM; DATA BASE; DNA SEQUENCE; GENE EXPRESSION REGULATION; GENETIC ENGINEERING; HUMAN; NONHUMAN; PROTEIN INTERACTION; SEMANTICS; STOCHASTIC MODEL; SYNTHETIC BIOLOGY; SYSTEMS BIOLOGY;

EID: 67650663955     PISSN: 17425689     EISSN: 17425662     Source Type: Journal    
DOI: 10.1098/rsif.2008.0516.focus     Document Type: Article

References (27)

1. Afif, H., Allali, N., Couturier, M. & Van Melderen, L. 2001 The ratio between ccda and ccdb modulates the transcriptional repression of the ccd poison-antidote system. Mol. Microbiol. 41, 73-82. (doi:10.1046/j.1365-2958. 2001. 02492.x)
2. Andrianantoandro, E., Basu, S., Karig, D. & Weiss, R. 2006 Synthetic biology: new engineering rules for an emerging discipline. Mol. Syst. Biol. 2, 2006.0028. (doi:10.1038/ msb4100073)
3. Apt, K. R. & Wallace, M. G. 2007 Constraint logic programming using ECLiPSe. Cambridge, UK: Cambridge University Press.
4. Balagaddé, F., Song, H., Ozaki, J., Collins, C., Barnet, M., Arnold, F., Quake, S. & You, L. 2008 A synthetic Escherichia coli predator-prey ecosystem. Mol. Syst. Biol. 4, 187. (doi:10.1038/msb.2008.24)
5. Bergmann, F. T. & Sauro, H. M. 2006 SBW - a modular framework for systems biology. In WSC '06: Proc. 38th Conf. on Winter Simulation, pp. 1637-1645.
6. Blossey, R., Cardelli, L. & Phillips, A. 2008 Compositionality, stochasticity and cooperativity in dynamic models of gene regulation. HFSP J. 2, 17-28. (doi:10.2976/1.2804749)
7. Bornstein, B. J., Keating, S. M., Jouraku, A. & Hucka, M. 2008 LibSBML: an API library for SBML. Bioinformatics 24, 880-881. (doi:10.1093/bioinformatics/btn051)
8. Buchler, N. E., Gerland, U. & Hwa, T. 2003 On schemes of combinatorial transcription logic. Proc. Natl Acad. Sci. USA 100, 5136-5141. (doi:10.1073/pnas.0930314100)
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, 2760-2767. (doi:10.1093/bioinformatics/ btm446) (Pubitemid 350048342)
10. Chabrier-Rivier, N., Fages, F. & Soliman, S. 2004 The biochemical abstract machine BIOCHAM. In Proc. CMSB, vol.3082 (eds V. Danos & V. Schächter). Lecture Notes in Computer Science, pp. 172-191. Berlin, Germany: Springer.
11. Ciocchetta, F. & Hillston, J. 2008 Bio-pepa: an extension of the process algebra pepa for biochemical networks. Electron. Notes Theor. Comput. Sci. 194, 103-117. (doi:10.1016/j.entcs.2007.12.008)
12. Cox III, R. S., Surette, M. G. & Elowitz, M. B. 2007 Programming gene expression with combinatorial promoters. Mol. Syst. Biol. 3, 145. (doi:10.1038/msb41 00187)
13. Danos, V., Feret, J., Fontana, W., Harmer, R. & Krivine, J. 2007 Rule-based modelling of cellular signalling. In CONCUR, vol.4703 (eds L. Caires & V. T. Vasconcelos). Lecture Notes in Computer Science, pp. 17-41. Berlin, Germany: Springer. Tutorial paper.
14. Elowitz, M. B. & Leibler, S. 2000 A synthetic oscillatory network of transcriptional regulators. Nature 403, 335-338. (doi:10.1038/35002125)
15. Endy, D. 2005 Foundations for engineering biology. Nature 438, 449-453. (doi:10.1038/nature04342)
16. Fisher, J. & Henzinger, T. 2007 Executable cell biology. Nat. Biotechnol. 25, 1239-1249. (doi:10.1038/nbt1356)
17. Garfinkel, D. 1968 A machine-independent language for the simulation of complex chemical and biochemical systems. Comput. Biomed. Res. 2, 31-44. (doi:10.1016/0010-4809 (68)90006-2)
18. Hermsen, R., Tans, S. & Wolde, P. R. 2006 Transcriptional regulation by competing transcription factor modules. PLoS Comput. Biol. 2, 1552-1560. (doi:10.1371/journal. pcbi.0020164)
19. Hucka, M. et al. 2003 The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19, 524-531. (doi:10.1093/bioinformatics/btg015) (Pubitemid 36336519)
20. 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, 257-270. (doi:10.1098/ rsif.2008.0205)
21. Marchisio, M. A. & Stelling, J. 2008 Computational design of synthetic gene circuits with composable parts. Bioinformatics 24, 1903-1910. (doi:10.1093/bioinformatics/ btn330)
22. Marguet, P., Balagadde, F., Tan, C. & You, L. 2007 Biology by design: reduction and synthesis of cellular components and behaviour. J. R. Soc. Interface 4, 607-623. (doi:10. 1098/rsif.2006.0206)
23. Pedersen, M. & Phillips, A. 2009 GEC tool. See http:// research.microsoft.com/gec.
24. Pedersen, M. & Plotkin, G. 2008 A language for biochemical systems. In Proc. CMSB (eds M. Heiner & A. M. Uhrmacher). Lecture Notes in Computer Science. Berlin, Germany: Springer.
25. Regev, A., Silverman, W. & Shapiro, E. 2001 Representation and simulation of biochemical processes using the pi-calculus process algebra. In Pacific Symp. on Biocomputing, pp. 459-470.
26. Sauro, H. 2000 Jarnac: a system for interactive metabolic analysis. In Animating the cellular map: Proc. 9th Int. Meeting on BioThermoKinetics (eds J.-H. Hofmeyr, J. Rohwer & J. Snoep), pp. 221-228. Stellenbosch, Republic of South Africa: Stellenbosch University Press.
27. Shrager, J., Waldinger, R., Stickel, M. & Massar, J. 2007 Deductive biocomputing. PLoS ONE 2, e339. (doi:10. 1371/journal.pone.0000339)