Academic Journals Database
Disseminating quality controlled scientific knowledge

GUBS, a Behaviour-Based Language for Design in Synthetic Biology

ADD TO MY LIST
 
Author(s): A. Basso-Blandin | F. Delaplace

Journal: Scientific Annals of Computer Science
ISSN 1843-8121

Volume: 23;
Issue: 1;
Start page: 1;
Date: 2013;
VIEW PDF   PDF DOWNLOAD PDF   Download PDF Original page

Keywords: Synthetic biology | CAD | Compilation

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.
RPA Switzerland

Robotic Process Automation Switzerland

    

Tango Rapperswil
Tango Rapperswil