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.
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 specificationTechniques
Computational DesignTarget processes
No target processes tagged yet.
Implementation Constraints
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.
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
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 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.
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.
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.
Ranked Citations
- 1.
- 2.