Component-Based Modelling of RNA Structure Folding

RNA structure is fundamentally important for many biological processes. In the past decades, diverse structure prediction algorithms and tools were developed but due to missing descriptions in clearly defined modelling formalisms it’s difficult or even impossible to integrate them into larger system models. We present an RNA secondary structure folding model described in ml-Devs, a variant of the Devs formalism, which enables the hierarchical combination with other model components like RNA binding proteins. An example of transcriptional attenuation will be given where model components of RNA polymerase, the folding RNA molecule, and the translating ribosome play together in a composed dynamic model.