RQ2-Feature Models

RQ2 Can we build a Feature Model from the BioBrick Repository?


Our complete workspace for all models in FeatureIDE can be downloaded here. We also include jpg images for each feature model. To view the complete feature model click on the images below.

Setup

FeatureIDE is an eclipse plugin for feature modeling. Installation instructions for FeatureIDE can be found here. It is also an available software package and is searchable under Help --> Install New Software. In case of problems please refer to the FeatureIDE documentation. Please note as as June 2019, FeatureIDE is compatible only with Eclipse versions through 4.9.

In this work we used:

  • Eclipse IDE for C/C++ (Developers Version: 2018-09 (4.9.0) Build id: 20180917-1800)

  • FeatureIDE v3.x (http://featureide.cs.ovgu.de/update/v3/)

  • CDT (http://download.eclipse.org/tools/cdt/releases/9.5)

To use our workspace, download and unzip the directory linked above. When you open Eclipse and are prompted to select a workspace, browse for the directory and select it (the entire directory named featureide-workspace). If for some reason you are not prompted for a workspace go to File --> Switch Workspace --> Other. When you Launch all models should be loaded.

Kill Switch (Figure 5)

We manually reviewed the wiki pages for the 110 Gold Medal iGEM teams from the 2017 competition. We flagged those teams who indicated that they contemplated or actually implemented a kill switch in their projects. 15 of them mentioned a kill switch, but only 12 were picked as having actually attempted an implementation. All teams can be found in this spreadsheet. We then reviewed their descriptions of their kill switches to determine which BioBricks they used for implementation, some of which were novel parts submitted for addition to the registry. Based on their descriptions of the triggering conditions and the specific mechanisms causing cellular death, we manually built the feature model. We calculated the number of products using FeatureIDE (882 products).

Cell to Cell Signalling (Figures 6 & 7)

To create the cell-to-cell signalling model we manually analyzed all basic parts within the Cell-cell signaling and quorum sensing function category on the Registry of Standard Parts. Two categories of required parts were found in separate webpages: Ribosome Binding Sites and Terminators. The developed feature model can be seen below (click on the image to view the full model).

Due to the scale of this model we had to use FaMa Version 1.1.2 [1] to calculate the number of products. The input files for each model can be found in our artifacts can be found here (the FaMa tool downloads can be found here). Due to the scale we split the model into the three top level features (sender, receiver, reporter) and ran them separately. The total number of products was found by multiplying them. The cell-to-cell signalling model was run on an HPC cluster with 35GB and java was given 32GB (java -jar ./lib/FaMaSDK-1.1.1.jar -xmx 32). The sender and receiver each have 11,448,000 products and the reporter has 5,724,000 products. Multiplying 11,448,000 * 11,448,000 * 5,724,000 = 7.50169 × 1020 products for the whole model.

[1] David Benavides and Sergio Segura and Pablo Trinidad and Antonio Ruiz-cortés. FAMA: Tooling a framework for the automated analysis of feature models. In Proceeding of the First International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS) (2007), pp. 129–134.