Team:Berkeley Software/Eugene Implementation

From 2009.igem.org

(Difference between revisions)
 
(42 intermediate revisions not shown)
Line 1: Line 1:
-
{{Template:BerkeleySoftwareHeader}} <br><br>
+
{{Template:BerkeleySoftwareHeader}} <br>
-
<table align=center>
+
<!---
 +
<table align=left frame="box">
<tr>
<tr>
-
<td>'''Content:'''
+
<th>'''<span id="contentMenu">Contents</span>'''</th>
-
<li>[[Team:Berkeley_Software/Eugene|Intro]]
+
-
<li>[[Team:Berkeley_Software/Eugene#Language_Definition|Language Definition]]
+
-
<li>[[Team:Berkeley_Software/Eugene#Examples|Examples]]
+
-
<li>[[#Implementation|Implementation]]
+
-
<li>[[Team:Berkeley_Software/Eugene_Results#Conclusions|Conclusions]]</td>
+
-
<td>&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;</td>
+
-
<td><center>[[Image:Eugene.png|112px]]</center></td>
+
</tr>
</tr>
-
</table><br>
+
<tr><td>[[Team:Berkeley_Software/Eugene#Introduction|1. Introduction]]</td></tr>
 +
<tr><td>[[Team:Berkeley_Software/Eugene#Language_Definition|2. Language Definition]]</td></tr>
 +
<tr><td>[[Team:Berkeley_Software/Eugene_Examples|3. Examples]]</td></tr>
 +
<tr><td>[[#Implementation|4. Implementation]]</td></tr>
 +
<tr><td>[[Team:Berkeley_Software/Eugene_Results|5. Results]]</td></tr>
 +
</table><br><br><br><br><br><br><br><br><br>
 +
--->
 +
 
 +
<center><div>
 +
<html>
 +
<a href="https://2009.igem.org/Team:Berkeley_Software/Eugene#Language_Definition">
 +
<img src="https://static.igem.org/mediawiki/2009/3/39/Language.png">
 +
</a>
 +
<a href="https://2009.igem.org/Team:Berkeley_Software/Eugene_Examples">
 +
<img src="https://static.igem.org/mediawiki/2009/0/02/ExampleButton.png">
 +
</a>
 +
<a href="https://2009.igem.org/Team:Berkeley_Software/Eugene_Results">
 +
<img src="https://static.igem.org/mediawiki/2009/b/b3/ResultsButton.png">
 +
</a>
 +
<!--- https://static.igem.org/mediawiki/2009/c/c6/ImplementationButton.png --->
 +
</html>
 +
</div></center>
-----
-----
<span id="Implementation"><H3>Implementation</H3></span>
<span id="Implementation"><H3>Implementation</H3></span>
-
[[Image:Eugene_Overview.jpg|800px|thumb|center|<p style="text-align: center;"><font size = "2"><span style="font-family: Georgia, serif;">Figure 1: Eugene Flow Diagram</span></font></p>]]br><br>
+
[[Image:BerkeleySoftware_EugeneOverview.png|900px|thumb|center|<p style="text-align: center;"><font size = "2"><span style="font-family: Georgia, serif;">Figure 1: Eugene Flow Diagram</span></font></p>]]<br>
-
<b><font size="3">Header File Creation</font><b></br>
+
 
-
Header files give the language the functionality to access many already predefined Parts in the databases. For the purpose of convenient data exchange over the Internet, XML could be used to read information from a database. Then the data is converted into Eugene syntax to represent the header files. As a result the language definitions are not just abstract statements but are tied to existing designs. There are three main header files: PropertyDefintion.h, PartDefiniton.h and PartDeclaration.h shown in Figure 1.
+
<b><font size="3">Header File Creation</font></b><br>
 +
Header files give the language the functionality to access many already predefined Parts in the databases. For the purpose of convenient data exchange over the Internet, XML could be used to read information from a database. Then the data is converted into Eugene syntax to represent the header files. As a result the language definitions are not just abstract statements but are tied to existing designs. There are three main header files: PropertyDefintion.h, PartDefiniton.h and PartDeclaration.h shown in Figure 1.<br><br>
 +
 
 +
<p style="text-align: right;">[[#Implementation|Back Up]]</p>
 +
 
 +
<b><font size="3">Eugene Main File</font></b><br>
 +
This is the file that will specify the design expressed in Eugene syntax. The main .eug file can include the header files, which need to be specified at the top:
 +
<pre>
 +
include PropertyDefintion.h, PartDefinition.h, PartDeclaration.h;
 +
</pre>
 +
The main file will generally consist of custom [[Team:Berkeley_Software/Eugene#Part_Definition Part | Part definitions]]/[[Team:Berkeley_Software/Eugene#Part_Declaration |declarations]], [[Team:Berkeley_Software/Eugene#Devices| device constructs]], [[Team:Berkeley_Software/Eugene#Rules | rule implementations]], [[Team:Berkeley_Software/Eugene#ConditionalSt| control statements]], and [[Team:Berkeley_Software/Eugene#Functions|function calls]].<br><br>
 +
 
 +
<p style="text-align: right;">[[#Implementation|Back Up]]</p>
 +
 
 +
<b><font size="3">Eugene Compiler</font></b><br>
 +
The Eugene Compiler was created using [http://www.antlr.org ANTLR], which is a LL(*) recursive-descent parser generator that accepts lexer, parser, and tree grammars. [http://www.antlr.org ANTLR] is used as the parser generator for Eugene code, since it allows the reuse of grammar with different semantic actions and the creation of parsers in another language, which can be useful in implementing Eugene with other tools. The grammar for Eugene eugene.g is taken as input by [http://www.antlr.org ANTLR] to create a Eugene parser and lexer file. The Eugene parser internally establishes a Backend Data Model to be used further by the Eugene Exporter. At the same time, when inputing a design in Eugene language, a data structure is created after some preprocessing of the header files. This can be applied either directly to [[Team:Berkeley_Software/Spectacles|Spectacles]], or to other visual tools after conversion to XML from our internal [[#Data_Structure|Data Structure]].<br><br>
 +
 
 +
<p style="text-align: right;">[[#Implementation|Back Up]]</p>
 +
 
 +
<b><font size="3"><span id="Data_Structure">Data Structure</span></font></b><br>
 +
The data structure consists of four main [[#Classes|classes]], which directly relate to the Eugene syntax. Each instance of these classes is referenced by the user-defined name from the Eugene files and stored in global hash maps according to the class type. <br><br>
 +
 
 +
<span id="Classes"><font size="3">''Classes''</font><br></span>
 +
#The Primitive class acts as a container for numbers, text, lists and boolean values. <br>
 +
#The Part class stores the instance of a Part and its Property values as a Hash map of Property labels referencing Primitive data types. Each Part instance will point towards the Part definition it came from through its type field. An image path can be bound to a Part where Part instances can have different images if the user specifies accordingly.<br>
 +
#The Device class stores the instance of a Device and the names of the ordered list of components. An image path can also be associated with a specific instance. <br>
 +
#The Rule class stores the instance of a Rule definition, where the rule statement is broken into three components: the left and right operand and the operator. <br><br>
 +
 
 +
<p align="center">'''Figure 2: Class Organization for Eugene'''</p>
 +
[[Image:DataModel_classes.png|center]]<br>
 +
 
 +
<span id="Global_Data_Structure"><font size="3">''Global Data Structure''</font><br></span>
 +
The data structure is divided between the storage of Part and Property definitions and the actual instances corresponding to their classes for efficient and immediate access to the data. Every instance is referenced by name and stored in a hash map according to the class it belongs. Parts, Devices, rules and primitives are kept in separate hash maps.<br><br>
 +
The hash map propertyDefinitions stores the defined Property labels and their type. For instance the sequence property will be of type txt as shown in Figure 3. The hash map partDefinitions stores the defined Parts and the property labels as well as any image associated with the specific Part. For example the Part Promoter will have the properties ID, Sequence and Orientation.<br><br>
 +
 
 +
<p align="center">'''Figure 3: Populating Global Data Structures with Property and Part Definitions'''</p>
 +
[[Image:ExamplePropertyPart_defs.png|850px|center]]<br>
 +
 
 +
The hash map partDeclarations contains the declared Part instances. Each instance contains a list of Property values. For example, the Part instance BBa_I0500 is of type Promoter having the properties ID, Sequence and Orientation where Sequence is of type “txt” and has “GATCTtta…” as its value as shown in Figure 4. Similarly, deviceDeclarations, ruleDeclarations and primitiveDeclarations store the instance names referring to class instances of Device, Rule and Primitive respectively.<br><br>
 +
 
 +
<p align="center">'''Figure 4: Populating Global Data Structures with Primitive, Part, and Device Declarations '''</p>
 +
[[Image:PrimsPartsDevicesExamples_decs.png|850px|center]]<br>
 +
 
 +
The hash maps ruleAsssertions and ruleNotes in Figure 5 store the assert and note statements as keys which point towards lists containing the individual elements of the statement in reverse Polish notation. Postfix notation is used to help evaluate the truth-value of each assert or note statement. The statements have a global scope. Therefore, every time a Device is created the program goes through each list and applies these statements to the Device.<br><br>
 +
 
 +
<p align="center">'''Figure 5: Populating Global Data Structures with Rule Declarations, Assertions, and Notes '''</p>
 +
[[Image:Example2_rules.png|850px|center]]<br><br>
 +
 
 +
<p style="text-align: right;">[[#Implementation|Back Up]]</p>

Latest revision as of 01:02, 22 October 2009



Implementation

Figure 1: Eugene Flow Diagram


Header File Creation
Header files give the language the functionality to access many already predefined Parts in the databases. For the purpose of convenient data exchange over the Internet, XML could be used to read information from a database. Then the data is converted into Eugene syntax to represent the header files. As a result the language definitions are not just abstract statements but are tied to existing designs. There are three main header files: PropertyDefintion.h, PartDefiniton.h and PartDeclaration.h shown in Figure 1.

Back Up

Eugene Main File
This is the file that will specify the design expressed in Eugene syntax. The main .eug file can include the header files, which need to be specified at the top:

include PropertyDefintion.h, PartDefinition.h, PartDeclaration.h;

The main file will generally consist of custom Part definitions/declarations, device constructs, rule implementations, control statements, and function calls.

Back Up

Eugene Compiler
The Eugene Compiler was created using [http://www.antlr.org ANTLR], which is a LL(*) recursive-descent parser generator that accepts lexer, parser, and tree grammars. [http://www.antlr.org ANTLR] is used as the parser generator for Eugene code, since it allows the reuse of grammar with different semantic actions and the creation of parsers in another language, which can be useful in implementing Eugene with other tools. The grammar for Eugene eugene.g is taken as input by [http://www.antlr.org ANTLR] to create a Eugene parser and lexer file. The Eugene parser internally establishes a Backend Data Model to be used further by the Eugene Exporter. At the same time, when inputing a design in Eugene language, a data structure is created after some preprocessing of the header files. This can be applied either directly to Spectacles, or to other visual tools after conversion to XML from our internal Data Structure.

Back Up

Data Structure
The data structure consists of four main classes, which directly relate to the Eugene syntax. Each instance of these classes is referenced by the user-defined name from the Eugene files and stored in global hash maps according to the class type.

Classes

  1. The Primitive class acts as a container for numbers, text, lists and boolean values.
  2. The Part class stores the instance of a Part and its Property values as a Hash map of Property labels referencing Primitive data types. Each Part instance will point towards the Part definition it came from through its type field. An image path can be bound to a Part where Part instances can have different images if the user specifies accordingly.
  3. The Device class stores the instance of a Device and the names of the ordered list of components. An image path can also be associated with a specific instance.
  4. The Rule class stores the instance of a Rule definition, where the rule statement is broken into three components: the left and right operand and the operator.

Figure 2: Class Organization for Eugene

DataModel classes.png

Global Data Structure
The data structure is divided between the storage of Part and Property definitions and the actual instances corresponding to their classes for efficient and immediate access to the data. Every instance is referenced by name and stored in a hash map according to the class it belongs. Parts, Devices, rules and primitives are kept in separate hash maps.

The hash map propertyDefinitions stores the defined Property labels and their type. For instance the sequence property will be of type txt as shown in Figure 3. The hash map partDefinitions stores the defined Parts and the property labels as well as any image associated with the specific Part. For example the Part Promoter will have the properties ID, Sequence and Orientation.

Figure 3: Populating Global Data Structures with Property and Part Definitions

ExamplePropertyPart defs.png

The hash map partDeclarations contains the declared Part instances. Each instance contains a list of Property values. For example, the Part instance BBa_I0500 is of type Promoter having the properties ID, Sequence and Orientation where Sequence is of type “txt” and has “GATCTtta…” as its value as shown in Figure 4. Similarly, deviceDeclarations, ruleDeclarations and primitiveDeclarations store the instance names referring to class instances of Device, Rule and Primitive respectively.

Figure 4: Populating Global Data Structures with Primitive, Part, and Device Declarations

PrimsPartsDevicesExamples decs.png

The hash maps ruleAsssertions and ruleNotes in Figure 5 store the assert and note statements as keys which point towards lists containing the individual elements of the statement in reverse Polish notation. Postfix notation is used to help evaluate the truth-value of each assert or note statement. The statements have a global scope. Therefore, every time a Device is created the program goes through each list and applies these statements to the Device.

Figure 5: Populating Global Data Structures with Rule Declarations, Assertions, and Notes

Example2 rules.png


Back Up