Composable modular models for synthetic biology

ACM Journal on Emerging Technologies in Computing Systems

Volumn 11, Issue 3, 2014, Pages

  Misirli, Goksel ^a   Hallinan, Jennifer ^a   Wipat, Anil ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Composable models; Database of models; Model annotation; Model driven design; Standard virtual parts; Synthetic biology

Indexed keywords

AVAILABILITY; BIOINFORMATICS; BIOLOGY; DATABASE SYSTEMS; DESIGN; EMBEDDED SYSTEMS; RECONFIGURABLE HARDWARE;

COMPOSABLE; COMPUTATIONAL DESIGN TOOLS; COMPUTATIONAL SIMULATION; LARGE-SCALE ENGINEERING; MODEL DRIVEN DESIGN; RIBOSOME BINDING SITES; SYNTHETIC BIOLOGY; VIRTUAL PARTS;

BINDING SITES;

EID: 84955323921     PISSN: 15504832     EISSN: 15504840     Source Type: Journal    
DOI: 10.1145/2631921     Document Type: Article

References (71)

1. U. Alon. 2006. An Introduction to Systems Biology: Design Principles of Biological Circuits. Chapman & Hall/CRC.
2. U. Alon. 2007. Network motifs: theory and experimental approaches. Nat. Rev. Genet. 8, 450-461.
3. K. Balasubramanian, A. Gokhale, G. Karsai, J. Sztipanovits, and S. Neema. 2006. Developing applications using model-driven design environments. Computer 39, 33-40.
4. J. Beal, T. Lu, and R. Weiss. 2011. Automatic compilation from high-level biologically-oriented programming language to genetic regulatory networks. PLoS ONE 6, e22490.
5. S. Bhatia and D. Densmore. 2013. Pigeon: A design visualizer for synthetic biology. ACS Synthet. Biol. 2, 348-350.
6. L. Bintu, N. E. Buchler, H. G. Garcia, U. Gerland, T. Hwa, J. Kondev, and R. Phillips. 2005. Transcriptional regulation by the numbers: Models. Curr. Opin. Genet. Develop. 15, 116-124.
7. R. S. Bongers, J.-W. Veening, M. Van Wieringen, O. P. Kuipers, and M. Kleerebezem. 2005. Development and characterization of a subtilin-regulated expression system in Bacillus subtilis: Strict control of gene expression by addition of subtilin. Appl. Environ. Microbiol. 71, 8818-8824.
8. J. C. Braff, C. M. Conboy, and D. Endy. 2005. Definitions and measures of performance for standard biological parts. In Proceedings of the International Conference Systems Biology (ICSB'05).
9. D. Bray, R. B. Bourret, andM. I. Simon. 1993. Computer simulation of the phosphorylation cascade controlling bacterial chemotaxis. Molec. Biol. Cell 4, 469-482.
10. N. E. Buchler, U. Gerland, and T. Hwa. 2003. On schemes of combinatorial transcription logic. Proc. Nat. Acad. Sci. 100, 5136-5141.
11. Y. Cai, B. Hartnett, C. Gustafsson, and J. Peccoud. 2007. A syntactic model to design and verify synthetic genetic constructs derived from standard biological parts. Bioinformatics 23, 2760-2767.
12. A. A. Cuellar, C. M. Lloyd, P. F. Nielsen, D. P. Bullivant, D. P. Nickerson, and P. J. Hunter. 2003. An overview of CellML 1. 1, a biological model description language. Simulation 79, 740-747.
13. D. Chandran, F. T. Bergmann, and H. M. Sauro. 2009. TinkerCell: Modular CAD tool for synthetic biology. J. Biol. Eng. 3, 19.
14. K. Clancy and C. A. Voigt. 2010. Programming cells: Towards an automated 'Genetic Compiler'. Curr. Opin. Biotechnol. 21, 572-581.
15. M. T. Cooling, V. Rouilly, G. Misirli, J. Lawson, T. Yu, J. Hallinan, and A. Wipat. 2010. Standard virtual biological parts: A repository of modular modeling components for synthetic biology. Bioinformatics 26, 925-931.
16. F. Curbera, M. Duftler, R. Khalaf, W. Nagy, N. Mukhi, and S. Weerawarana. 2002. Unraveling the Web services web: An introduction to SOAP, WSDL, and UDDI. IEEE Internet Comput. 6, 86-93.
17. M. Dasika and C. Maranas. 2008. OptCircuit: An optimization based method for computational design of genetic circuits. BMC Syst. Biol. 2, 24.
18. J. H. Davis, A. J. Rubin, and R. T. Sauer. 2010. Design, construction and characterization of a set of insulated bacterial promoters. Nucl. Acids Res. 39, 1131-1141.
19. A. De Las Heras, C. A. Carreño, E. Martnez-Garca, and V. De Lorenzo. 2010. Engineering input/output nodes in prokaryotic regulatory circuits. FEMS Microbiol. Rev. 34, 842-865.
20. D. Del Vecchio, A. J. Ninfa, and E. D. Sontag. 2008. Modular cell biology: Retroactivity and insulation. Molec. Syst. Biol. 4, 161.
21. D. Densmore and S. Hassoun. 2012. Design automation for synthetic biological systems. Des. Test Comput. IEEE 1-1.
22. D. Densmore, J. T. Kittleson, L. Bilitchenko, A. Liu, and J. C. Anderson. 2010. Rule based constraints for the construction of genetic devices. In Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS'10). 557-560.
23. A. Dräger, N. Rodriguez, M. Dumousseau, A. Dörr, C. Wrzodek, N. Le Novere, A. Zell, and M. Hucka. 2011. JSBML: A flexible Java library for working with SBML. Bioinformatics 27, 2167-2168.
24. K. Eilbeck, S. Lewis, C. Mungall, M. Yandell, L. Stein, R. Durbin, and M. Ashburner. 2005. The sequence ontology: A tool for the unification of genome annotations. Genome Biol. 6, R44.
25. M. B. Elowitz and S. Leibler. 2000. A synthetic oscillatory network of transcriptional regulators. Nature 403, 335-338.
26. L. Endler, N. Rodriguez, N. Juty, V. Chelliah, C. Laibe, C. Li, and N. Le Novere. 2009. Designing and encoding models for synthetic biology. J. Roy. Soc. Interf. 6, S405-S417.
27. P. H. Feiler, B. Lewis, S. Vestal, and E. Colbert. 2005. An overview of the SAE architecture analysis & design language (AADL) standard: A basis formodel-based architecture-driven embedded systems engineering. In Architecture Description Languages, Springer, 3-15.
28. B. R. Fritz, L. E. Timmerman, N. M. Daringer, J. N. Leonard, and M. C. Jewett. 2010. Biology by design: From top to bottom and back. BioMed Res. Int. 2010.
29. A. Funahashi, M. Morohashi, H. Kitano, and N. Tanimura. 2003. CellDesigner: A process diagram editor for gene-regulatory and biochemical networks. BIOSILICO 1, 159-162.
30. M. Galdzicki, K. P. Clancy, E. Oberortner, M. Pocock, J. Y. Quinn, C. A. Rodriguez, N. Roehner, M. L. Wilson, L. Adam, J. C. Anderson, B. A. Bartley, J. Beal, D. Chandran, J. Chen, D. Densmore, D. Endy, R. Grunberg, J. Hallinan, N. J. Hillson, J. D. Johnson, A. Kuchinsky, M. Lux, G. Misirli, J. Peccoud, H. A. Plahar, E. Sirin, G.-B. Stan, A. Villalobos, A. Wipat, J. H. Gennari, C. J. Myers, and H. M. Sauro. 2014. The Synthetic Biology Open Language (SBOL) provides a community standard for communicating designs in synthetic biology. Nat. Biotech. 32, 545-550.
31. The Gene Ontology Consortium. 2001. Creating the gene ontology resource: Design and implementation. Gen. Res. 11, 1425-1433. http://genome. cshlp. org/citmgr?gca=genome%3B11%2F8%2F1425.
32. J. Hallinan, O. Gilfellon, G. Misirli, and A. Wipat. 2014. Tuning receiver characteristics in bacterial quorum communication: An evolutionary approach using standard virtual biological parts. In Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology.
33. J. Hallinan, G. Misirli, and A. Wipat. 2010. Evolutionary computation for the design of a stochastic switch for synthetic genetic circuits. In Proceedings of the 32nd IEEE Annual International Conference on Engineering in Medicine and Biology Society (EMBC'10) (Buenos Ares, Argentina).
34. J. Hallinan, S. Park, and A. Wipat. 2012. Bridging the gap between design and reality-A dual evolutionary strategy for the design of synthetic genetic circuits. In Proceedings of the (Bioinformatics'12)-International Conference on Bioinformatics Models, Methods and Algorithms, February 1-4, J. Schier, C. M. B. A. Correia, A. L. N. Fred, and H. Gamboa, Eds., SciTePress, 263-268.
35. T. A. Henzinger and J. Sifakis. 2006. The embedded systems design challenge. In Proceedings of the International Symposium on Formal Methods (FM'06). Springer, 1-15.
36. A. D. Hill, J. R. Tomshine, E. M. B. Weeding, V. Sotiropoulos, and Y. N. Kaznessis. 2008. SynBioSS: The synthetic biology modeling suite. Bioinformatics 24, 2551-2553.
37. S. Hoops, S. Sahle, R. Gauges, C. Lee, J. Pahle, N. Simus, M. Singhal, L. Xu, P. Mendes, and U. Kummer. 2006. COPASI-a COmplex PAthway SImulator. Bioinformatics 22, 3067-3074.
38. M. Hucka, A. Finney, H. M. Sauro, H. Bolouri, J. C. Doyle, H. Kitano, A. P. Arkin, B. J. Bornstein, D. Bray, A. Cornish-Bowden, A. A. Cuellar, S. Dronov, E. D. Gilles, M. Ginkel, V. Gor, I. I. Goryanin, W. J. Hedley, T. C. Hodgman, J. H. Hofmeyr, P. J. Hunter, N. S. Juty, J. L. Kasberger, A. Kremling, U. Kummer, N. Le Novere, L. M. Loew, D. Lucio, P. Mendes, E. Minch, E. D. Mjolsness, Y. Nakayama, M. R. Nelson, P. F. Nielsen, T. Sakurada, J. C. Schaff, B. E. Shapiro, T. S. Shimizu, H. D. Spence, J. Stelling, K. Takahashi, M. Tomita, J. Wagner, and W. J. 2003. The Systems Biology Markup Language (SBML): A medium for representation and exchange of biochemical network models. Bioinformatics 19, 524-531.
39. L. Huynh, A. Tsoukalas, M. Köppe, and I. Tagkopoulos. 2013. SBROME: A scalable optimization and module matching framework for automated biosystems design. ACS Synthet. Biol. 2, 263-273.
40. Y. Kaznessis. 2007. Models for synthetic biology. BMC Syst. Biol. 1, 47.
41. Kyung H. Kim and HerbertM. Sauro. 2011. Measuring retroactivity from noise in gene regulatory networks. Biophys. J. 100, 1167-1177.
42. C. Klein, C. Kaletta, and K. D. Entian. 1993. Biosynthesis of the lantibiotic subtilin is regulated by a histidine kinase/response regulator system. Appl. Environ. Microbiol. 59, 296-303.
43. C. Li, M. Donizelli, N. Rodriguez, H. Dharuri, L. Endler, V. Chelliah, L. Li, E. He, A. Henry, M. Stefan, J. Snoep, M. Hucka, N. Le Novere, and C. Laibe. 2010. BioModels database: An enhanced, curated and annotated resource for published quantitative kinetic models. BMC Syst. Biol. 4, 92.
44. J. Liang, Y. Luo, and H. Zhao. 2011. Synthetic biology: Putting synthesis into biology. Wiley Interdisciplinary Reviews: Syst. Bio. Med. 3, 7-20.
45. A. Lister, P. Lord, M. Pocock, and A. Wipat. 2010. Annotation of SBML models through rule-based semantic integration. J. Biomed. Semant. 1, S3.
46. D. MacMillen, R. Camposano, D. Hill, and T. W. Williams. 2000. An industrial view of electronic design automation. IEEE Trans. Comput.-Aided Des. Integ. Circ. Syst. 19, 1428-1448.
47. M. A. Marchisio and J. Stelling. 2008. Computational design of synthetic gene circuits with composable parts. Bioinformatics 24, 1903-1910.
48. M. A. Marchisio and J. Stelling. 2009. Computational design tools for synthetic biology. Curr. Opin. Biotechnol. 20, 479-485.
49. G. Misirli. 2013. Data integration strategies for informing computational design in synthetic biology. Ph. D. dissertation. School of Computing Science, Newcastle University, UK.
50. G. Misirli, J. S. Hallinan, T. Yu, J. R. Lawson, S. M. Wimalaratne, M. T. Cooling, and A. Wipat. 2011. Model annotation for synthetic biology: Automating model to nucleotide sequence conversion. Bioinformatics 27, 973-979.
51. G. Misirli, A. Wipat, J. Mullen, K. James, M. Pocock, W. Smith, N. Allenby, and J. Hallinan. 2013. BacillOndex: An integrated data resource for systems and synthetic biology. J. Integrat. Bioinf. 10, 224.
52. C. J. Myers, N. Barker, K. Jones, H. Kuwahara, C. Madsen, and N.-P. D. Nguyen. 2009. iBioSim: A tool for the analysis and design of genetic circuits. Bioinformatics 25, 2848-2849.
53. D. Na and D. Lee. 2010. RBSDesigner: Software for designing synthetic ribosome binding sites that yields a desired level of protein expression. Bioinformatics 26, 2633-2634.
54. D. Na, S. Lee, and D. Lee. 2010. Mathematical modeling of translation initiation for the estimation of its efficiency to computationally design mRNA sequences with desired expression levels in prokaryotes. BMC Syst. Biol. 4, 71.
55. E. M. Ozbudak, M. Thattai, I. Kurtser, A. D. Grossman, and A. van Oudenaarden. 2002. Regulation of noise in the expression of a single gene. Nat. Genet. 31, 69-73.
56. M. Pedersen and A. Phillips. 2009. Towards programming languages for genetic engineering of living cells. J. Roy. Soc. Interf. 6, S437-S450.
57. G. Rodrigo, J. Carrera, and A. Jaramillo. 2007a. Asmparts: Assembly of biological model parts. Syst. Synthet. Biol. 1, 167-170.
58. G. Rodrigo, J. Carrera, and A. Jaramillo. 2007b. Genetdes: Automatic design of transcriptional networks. Bioinformatics 23, 1857-1858.
59. G. Rodrigo, J. Carrera, and A. Jaramillo. 2011. Computational design of synthetic regulatory networks from a genetic library to characterize the designability of dynamical behaviors. Nucl. Acids Res. 39, e138.
60. H. M. Salis, E. A. Mirsky, and C. A. Voigt. 2009. Automated design of synthetic ribosome binding sites to control protein expression. Nat. Biotechnol. 27, 946-950.
61. R. Silva-Rocha and V. de Lorenzo. 2010. Noise and robustness in prokaryotic regulatory networks. Ann. Rev. Microbiol. 64, 257-275.
62. C. D. Smolke and P. A. Silver. 2011. Informing biological design by integration of systems and synthetic biology. Cell 144, 855-859.
63. D. G. Spiller, C. D. Wood, D. A. Rand, and M. R. H. White. 2010. Measurement of single-cell dynamics. Nat. 465, 736-745.
64. J. Stelling. 2004. Mathematical models in microbial systems biology. Curr. Opin. Microbiol. 7, 513-518.
65. G. M. Süel, J. Garcia-Ojalvo, L. M. Liberman, and M. B. Elowitz. 2006. An excitable gene regulatory circuit induces transient cellular differentiation. Nature 440, 545-550.
66. R. L. Tatusov, D. A. Natale, I. V. Garkavtsev, T. A. Tatusova, U. T. Shankavaram, B. S. Rao, B. Kiryutin, M. Y. Galperin, N. D. Fedorova, and E. V. Koonin. 2001. The COG database: New developments in phylogenetic classification of proteins from complete genomes. Nucl. Acids Res. 29, 22-28.
67. C. A. Voigt, D. M. Wolf, and A. P. Arkin. 2005. The bacillus subtilis sin operon: An evolvable network. Motif. Genet. 169, 1187-1202.
68. H. V. Westerhoff and B. O. Palsson. 2004. The evolution of molecular biology into systems biology. Nat. Biotechnol. 22, 1249-1252.
69. F. Yaman, S. Bhatia, A. Adler, D. Densmore, and J. Beal. 2012. Automated selection of synthetic biology parts for genetic regulatory networks. ACS Synthet. Biol. 1, 332-344.
70. E. Young and H. Alper. 2010. Synthetic biology: Tools to design, build, and optimize cellular processes. J. Biomed. Biotechnol.
71. A. R. Zomorrodi and C. D. Maranas. 2014. Coarse-grained optimization-driven design and piecewise linear modeling of synthetic genetic circuits. Europ. J. Oper. Res.