Renku uses PROV-O and its own Renku ontology to represent workflows.
renku.core.models.workflow.run
renku.core.models.workflow.parameters
Renku allows conversion of tracked workflows to runnable workflows in supported tools (Currently CWL)
renku.core.models.workflow.converters.cwl
CWLConverter