HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

GUBS, a behaviour-based language for design in synthetic biology

Abstract : In this article, we propose a domain specific language, GUBS (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices, viewed as discrete open dynamical systems. GUBS is a rule-based declarative language. In contrast to a closed system, a program is always a partial description of the behaviour of the system. The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices. The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
Document type :
Journal articles
Complete list of metadata

Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Wednesday, October 9, 2013 - 2:55:32 PM
Last modification on : Tuesday, June 30, 2020 - 11:56:08 AM

Links full text




Adrien Basso-Blandin, Franck Delaplace. GUBS, a behaviour-based language for design in synthetic biology. Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2013, 23 (1), pp.1--38. ⟨10.7561/SACS.2013.1.1⟩. ⟨hal-00871344⟩



Record views