@hvdsomp pointed me to Andreas Rauber's work, which includes relevant publications:
- Evaluation of preserved scientific processes.
- Framework for verification of preserved and redeployed processes
- Digital preservation of a process and its application to e-science experiments
We might want to study and cite them.