Source 1primary paper2012Electronic Proceedings in Theoretical Computer Science
Toolkit/GUBS
GUBS
Also known as: Genomic Unified Behavior Specification, Genomic Unified Behaviour Specification, GUBS
Taxonomy: Mechanism Branch / Architecture. Workflows sit above the mechanism and technique branches rather than replacing them.
Summary
GUBS (Genomic Unified Behavior Specification) is a domain-specific, rule-based declarative language for behavioral specification of synthetic biological devices. It represents device programs as behavioral specifications for open systems rather than as complete closed-system descriptions.
Usefulness & Problems
Why this is useful
GUBS is useful as a formal specification method for synthetic biology design, providing a behavioral language intended to structure how device behavior is described. The associated compilation framework is reported to follow a scheme similar to automated theorem proving and is intended to improve design safety.
Problem solved
GUBS addresses the problem of specifying the behavior of synthetic biological devices in open systems, where complete closed-system specification is not the intended model. It provides a formal behavioral description framework rather than an ad hoc or purely structural design description.
Problem links
Synthetic Biology Platforms Are Over-Reliant on Evolved Cells That We Don’t Fully Understand or Control
Gap mapView gapA domain-specific language for behavioral specification could help reduce reliance on poorly understood natural cellular behavior by making synthetic device design more explicit and programmable. This is a plausible platform-design aid for more bottom-up engineering, though the evidence provided is limited to specification rather than demonstrated construction of minimal cells.
A domain-specific language for specifying behaviors of synthetic biological devices could support formal design and comparison of candidate biological computation systems. This is relevant as a design framework, but the supplied evidence does not show that it reaches the kind of complex evolved computation described in the gap.
A domain-specific language for behavioral specification could help formalize designed biological devices relevant to restoration experiments or de-extinction engineering workflows. However, the evidence only supports specification of synthetic biological devices, not ecosystem tracking or modelling.
A domain-specific language for specifying synthetic biological device behavior could, in principle, support programmable design workflows. That is only indirectly related to the gap, which is about actually synthesizing non-nucleic-acid biopolymers.
Taxonomy & Function
Primary hierarchy
Mechanism Branch
Architecture: A reusable architecture pattern for arranging parts into an engineered system.
Mechanisms
behavioral specification of open systemscompilation via a scheme similar to automated theorem provingrule-based declarative specificationTarget processes
No target processes tagged yet.
Implementation Constraints
cofactor dependency: cofactor requirement unknownencoding mode: genetically encodedimplementation constraint: context specific validationoperating role: builder
GUBS is presented as a language and compilation framework for specification and design, not as a molecular reagent or genetic part. The evidence does not provide practical details such as software distribution, input syntax, supported chassis, or integration with laboratory build workflows.
The supplied evidence does not report experimental biological validation, benchmark comparisons, or adoption beyond the proposing publications. No specific device classes, host organisms, or quantitative performance outcomes are provided in the evidence.
Validation
Cell-freeBacteriaMammalianMouseHumanTherapeuticIndep. Replication
Supporting Sources
Source 2primary paper2013Scientific Annals of Computer Science
Ranked Claims
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
Approval Evidence
2 sources9 linked approval claimsfirst-pass slug gubs
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification)
Source:
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
Source:
compilation frameworksupports
The Gubs compilation framework follows a scheme similar to automated theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automated theorem proving, aiming at improving synthetic biological design safety.
Source:
method characterizationsupports
Gubs is a rule-based declarative language.
Gubs is a rule-based declarative language.
Source:
proposes toolsupports
The paper proposes Gubs, a domain specific language for behavioural specification of synthetic biological devices.
we propose a domain specific language, Gubs (Genomic Unified Behaviour Specification), dedicated to the behavioural specification of synthetic biological devices
Source:
semantic propertysupports
In Gubs, a program is treated as a partial description of system behaviour in an open system rather than a complete closed-system specification.
In contrast to a closed system, a program is always a partial description of the behaviour of the system.
Source:
semantic propertysupports
The semantics of Gubs accounts for hidden non-specified actions that may alter the behaviour of programmed devices.
The semantics of the language accounts the existence of some hidden non-specified actions that possibly alter the behaviour of the programmed devices.
Source:
compilation frameworksupports
The GUBS compilation framework follows a scheme similar to automatic theorem proving and aims to improve synthetic biological design safety.
The compilation framework follows a scheme similar to automatic theorem proving, aiming at improving synthetic biological design safety.
Source:
method descriptionsupports
GUBS is a rule-based declarative language.
GUBS is a rule-based declarative language.
Source:
proposes toolsupports
The paper proposes GUBS as a domain-specific language for behavioral specification of synthetic biological devices.
we propose a domain specific language, GUBS (Genomic Unified Behavior Specification), dedicated to the behavioral specification of synthetic biological devices
Source:
semantic scopesupports
The semantics of GUBS account for hidden non-specified actions that may alter the behavior of the programmed device.
The semantics of the language accounts the existence of some hidden non-specified actions possibly altering the behavior of the programmed device.
Source:
Comparisons
Source-backed strengths
The available evidence supports that GUBS is explicitly domain-specific, rule-based, and declarative, which are advantageous properties for formal behavioral specification. A compilation framework linked to the language is described as theorem-proving-like and aimed at improving synthetic biological design safety.
Compared with CoTV
GUBS and CoTV address a similar problem space.
Shared frame: same top-level item type
Strengths here: appears more independently replicated; looks easier to implement in practice.
Compared with genome engineering
GUBS and genome engineering address a similar problem space.
Shared frame: same top-level item type
Strengths here: appears more independently replicated; looks easier to implement in practice.
Compared with light-dependent protein (un)folding reactions
GUBS and light-dependent protein (un)folding reactions address a similar problem space.
Shared frame: same top-level item type
Strengths here: appears more independently replicated; looks easier to implement in practice.
Ranked Citations
- 1.
- 2.