{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T12:30:43Z","timestamp":1779107443731,"version":"3.51.4"},"reference-count":22,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2014,12,30]],"date-time":"2014-12-30T00:00:00Z","timestamp":1419897600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Agilent Technologies Applications and Core Technology University Research (ACT-UR) program"},{"name":"NSF","award":["1147158"],"award-info":[{"award-number":["1147158"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. Emerg. Technol. Comput. Syst."],"published-print":{"date-parts":[[2014,12,30]]},"abstract":"<jats:p>\n            Synthetic Biology is an engineering discipline where parts of DNA sequences are composed into novel, complex systems that execute a desired biological function. Functioning and well-behaving biological systems adhere to a certain set of biological \u201crules\u201d. Data exchange standards and Bio-Design Automation (BDA) tools support the organization of part libraries and the exploration of rule-compliant compositions. In this work, we formally define a design specification language, enabling the integration of biological rules into the Synthetic Biology engineering process. The supported rules are divided into five categories:\n            <jats:italic>Counting<\/jats:italic>\n            ,\n            <jats:italic>Pairing<\/jats:italic>\n            ,\n            <jats:italic>Positioning<\/jats:italic>\n            ,\n            <jats:italic>Orientation<\/jats:italic>\n            , and\n            <jats:italic>Interactions<\/jats:italic>\n            . We formally define the semantics of each rule, characterize the language's expressive power, and perform a case study in that we iteratively design a genetic Priority Encoder circuit following two alternative paradigms\u2014rule-based and template-driven. Ultimately, we touch a method to approximate the complexity and time to computationally enumerate all rule-compliant designs. Our specification language may or may not be expressive enough to capture all designs that a Synthetic Biologist might want to describe, or the complexity one might find through experiments. However, computational support for the acquisition, specification, management, and application of biological rules is inevitable to understand the functioning of biology.\n          <\/jats:p>","DOI":"10.1145\/2641571","type":"journal-article","created":{"date-parts":[[2015,1,5]],"date-time":"2015-01-05T13:27:09Z","timestamp":1420464429000},"page":"1-19","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["A Rule-Based Design Specification Language for Synthetic Biology"],"prefix":"10.1145","volume":"11","author":[{"given":"Ernst","family":"Oberortner","sequence":"first","affiliation":[{"name":"Boston University, Boston, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Swapnil","family":"Bhatia","sequence":"additional","affiliation":[{"name":"Boston University, Boston, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erik","family":"Lindgren","sequence":"additional","affiliation":[{"name":"Boston University, Boston, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Douglas","family":"Densmore","sequence":"additional","affiliation":[{"name":"Boston University, Boston, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,12,30]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","unstructured":"E. Andrianantoandro S. Basu D. K. Karig and R. Weiss. 2006. Synthetic biology: New engineering rules for an emerging discipline. Molec. Syst. Biol. 2. DOI: http:\/\/dx.doi.org\/10.1038\/msb4100073  E. Andrianantoandro S. Basu D. K. Karig and R. Weiss. 2006. Synthetic biology: New engineering rules for an emerging discipline. Molec. Syst. Biol. 2. DOI: http:\/\/dx.doi.org\/10.1038\/msb4100073","DOI":"10.1038\/msb4100073"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1021\/sb400024s"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0018882"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cbpa.2012.04.009"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/biot.201200085"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1186\/1754-1611-6-1"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_23"},{"key":"e_1_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Michael J. Czar Yizhi Cai and Jean Peccoud. 2009. Writing DNA with GenoCAD. Nucl. Acids Res. 37 Web-Server-Issue (2009) 40--47.  Michael J. Czar Yizhi Cai and Jean Peccoud. 2009. Writing DNA with GenoCAD. Nucl. Acids Res. 37 Web-Server-Issue (2009) 40--47.","DOI":"10.1093\/nar\/gkp361"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2012.2193370"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS). 557--560","author":"Densmore D.","year":"2010"},{"key":"e_1_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Drew Endy. 2005. Foundations for engineering biology. Nature 438 7067 449--453. DOI: http:\/\/dx.doi.org\/10.1038\/nature04342  Drew Endy. 2005. Foundations for engineering biology. Nature 438 7067 449--453. DOI: http:\/\/dx.doi.org\/10.1038\/nature04342","DOI":"10.1038\/nature04342"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1038\/nbt.2891"},{"key":"e_1_2_1_13_1","doi-asserted-by":"crossref","unstructured":"T. S. Gardner C. R. Cantor and J. J. Collins. 2000. Construction of a genetic toggle switch in Escherichia coli. Nature 403 6767 339--342. DOI: http:\/\/dx.doi.org\/10.1038\/35002131  T. S. Gardner C. R. Cantor and J. J. Collins. 2000. Construction of a genetic toggle switch in Escherichia coli. Nature 403 6767 339--342. DOI: http:\/\/dx.doi.org\/10.1038\/35002131","DOI":"10.1038\/35002131"},{"key":"e_1_2_1_14_1","unstructured":"John E. Hopcroft Rajeev Motwani and Jeffrey D. Ullman. 2006. Introduction to Automata Theory Languages and Computation (3rd Ed.). Addison-Wesley Longman Publishing Co. Inc. Boston MA.   John E. Hopcroft Rajeev Motwani and Jeffrey D. Ullman. 2006. Introduction to Automata Theory Languages and Computation (3rd Ed.). Addison-Wesley Longman Publishing Co. Inc. Boston MA."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.mib.2008.10.002"},{"key":"e_1_2_1_16_1","volume-title":"Tech. Rep. 65, MIT.","author":"McNaughton R.","year":"1971"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1021\/sb400134k"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1038\/nrm2698"},{"key":"e_1_2_1_19_1","volume-title":"Methods in Enzymology","volume":"497","author":"Randall Adrian","year":"2011"},{"key":"e_1_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Warren C. Ruder Ting Lu and James J. Collins. 2011. Synthetic biology moving into the clinic. Science 333 6047 1248--1252. DOI: http:\/\/dx.doi.org\/10.1126\/science.1206843  Warren C. Ruder Ting Lu and James J. Collins. 2011. Synthetic biology moving into the clinic. Science 333 6047 1248--1252. DOI: http:\/\/dx.doi.org\/10.1126\/science.1206843","DOI":"10.1126\/science.1206843"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1039\/c1mb05016h"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Alvin Tamsir Jeffrey J. Tabor and Christopher A. Voigt. 2011. Robust multicellular computing using genetically encoded NOR gates and chemical \u201cwires\u201d. Nature 469 7329 212--215. DOI: http:\/\/dx.doi.org\/10.1038\/nature09565  Alvin Tamsir Jeffrey J. Tabor and Christopher A. Voigt. 2011. Robust multicellular computing using genetically encoded NOR gates and chemical \u201cwires\u201d. Nature 469 7329 212--215. DOI: http:\/\/dx.doi.org\/10.1038\/nature09565","DOI":"10.1038\/nature09565"}],"container-title":["ACM Journal on Emerging Technologies in Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2641571","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2641571","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:18Z","timestamp":1750229778000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2641571"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12,30]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,12,30]]}},"alternative-id":["10.1145\/2641571"],"URL":"https:\/\/doi.org\/10.1145\/2641571","relation":{},"ISSN":["1550-4832","1550-4840"],"issn-type":[{"value":"1550-4832","type":"print"},{"value":"1550-4840","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,12,30]]},"assertion":[{"value":"2014-01-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-12-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}