Loading...
Toward full-stack in silico synthetic biology: integrating model specification, simulation, verification, and biological compilation
Konur, Savas Mierla, L.M. Fellermann, H. Ladroue, C. Brown, B. Wipat, A. Twycross, J. Dun, B.P. Kalvala, S. Gheorghe, Marian
Konur, Savas
Mierla, L.M.
Fellermann, H.
Ladroue, C.
Brown, B.
Wipat, A.
Twycross, J.
Dun, B.P.
Kalvala, S.
Gheorghe, Marian
Publication Date
2021-08-02
End of Embargo
Supervisor
Rights
© 2021 The Authors. Published by American Chemical Society. This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
(http://creativecommons.org/licenses/by-nc-nd/4.0/).
Peer-Reviewed
Yes
Open Access status
openAccess
Accepted for publication
2021
Institution
Department
Awarded
Embargo end date
Additional title
Abstract
We present the Infobiotics Workbench (IBW), a user-friendly, scalable, and integrated computational environment for the computer-aided design of synthetic biological systems. It supports an iterative workflow that begins with specification of the desired synthetic system, followed by simulation and verification of the system in high- performance environments and ending with the eventual compilation of the system specification into suitable genetic constructs. IBW integrates modelling, simulation, verification and bicompilation features into a single software suite. This integration is achieved through a new domain-specific biological programming language, the Infobiotics Language (IBL), which tightly combines these different aspects of in silico synthetic biology into a full-stack integrated development environment. Unlike existing synthetic biology modelling or specification languages, IBL uniquely blends modelling, verification and biocompilation statements into a single file. This allows biologists to incorporate design constraints within the specification file rather than using decoupled and independent formalisms for different in silico analyses. This novel approach offers seamless interoperability across different tools as well as compatibility with SBOL and SBML frameworks and removes the burden of doing manual translations for standalone applications. We demonstrate the features, usability, and effectiveness of IBW and IBL using well-established synthetic biological circuits.
Version
Published version
Citation
Konur S, Mierla L, Fellermann H et al (2021) Toward full-stack in silico synthetic biology: integrating model specification, simulation, verification, and biological compilation. ACS Synthetic Biology. 10(8): 1931-1945.
Link to publisher’s version
Link to published version
Link to Version of Record
Type
Article