Jackson Hides. A FORMAL SEMANTICS FRAMEWORK FOR TAVERNA 2 WORKFLOWS. arlijcsis 2024, 9, 8-14.