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