Figure 1.
OPM entities with their symbols, definitions and operation semantics.
Figure 2.
OPM procedural links: links connecting an object or state with a process.
These links represent process pre/postcondition object set.
Figure 3.
OPM structural links: links connecting an object with an object.
Theses links represent structural hierarchies and characteristics.
Figure 4.
An example of OPM query capability: mRNA search.
Figure 5.
Complex generic model and example.
(A) A generic model of the structure of a Complex. The object Complex consists of at least one (denoted by “1..m”) Protein, which consists at least one Domain, each of which, in turn, consists at least one Binding Site. (B) The Complex Polymerase II with one of its proteins, Rpb1 and its 26 Repeat Sets with their structure. The balloons include explanation of the OPM semantics.
Figure 6.
Generic link object and example.
(A) A generic simple Link example. The object Link connects two binding sites A and B. The Link object can be created by a binding process and consumed by a dissociation process. (B) The TFIIF-TFIIB Complex is composed of a TFIIF Complex, a TFIIB Complex and a TFIIF-to-TFIIB Complex Link Set.
Figure 7.
Binding/Dissociation molecular function, modeling templates and example.
Figure 8.
Transporting molecular function, modeling template and example.
Figure 9.
Catalyzing molecular function, modeling templates and example.
Figure 10.
Complex formation: the process of molecular binding exemplified on Rpb4/7 to Polymerase II binding.
(A) Rpb4/7 and Polymerase II Binding process (B) Rpb4/7 and Polymerase II Binding process zoomed into its sub-processes, Link Set Generating and Polymerase II–and-Rpb4/7 Complex Assembling.
Figure 11.
The transcription process bi-modal representation.
(A) The Transcription process model. (B) The corresponding automatically-generated Object-Process Language (OPL).
Figure 12.
The execution of the transcription model.
Here shown a snapshot of the Elongation process being executed (and therefore highlighted in purple), and the mRNA changes states from capped into elongated. See supplemental movie SV1 for Re-initiation process non-deterministic execution.
Figure 13.
Pre-initiation complex formation and initiation model.
In this example we apply the Catalyzing - Substrate Changed modeling template for modeling serine 5 phosphorylation (surrounded by dashed square) by TFIIH Kinase. TFIIB Kinase is still conjectured and therefore highlighted in grey.
Figure 14.
Example of two errors found during model execution.
The transcription model execution halts during the Pol II.CTD.Serine 5 Phosphorylation process with errors presented in the lowest frame (see Video S2). The first error is a missing object error and the second is an incorrect state error.
Table 1.
Knowledge gaps found while modeling the mRNA transcription process.