In the ever-evolving landscape of scientific computing, properly supporting the modularity and complexity of modern scientific applications requires new approaches to workflow execution, like seamless interoperability between different workflow systems, distributed-by-design workflow models, and automatic optimisation of data movements. In order to address this need, this article introduces SWIRL, an intermediate representation language for scientific workflows. In contrast with other product-agnostic workflow languages, SWIRL is not designed for human interaction but to serve as a low-level compilation target for distributed workflow execution plans. The main advantages of SWIRL semantics are low-level primitives based on the send/receive programming model and a formal framework ensuring the consistency of the semantics and the specification of translating workflow models represented by Directed Acyclic Graphs (DAGs) into SWIRL workflow descriptions. Additionally, SWIRL offers rewriting rules designed to optimise execution traces, accompanied by corresponding equivalence. An open-source SWIRL compiler toolchain has been developed using the ANTLR Python3 bindings.

Colonnelli, I., Medić, D., Mulone, A., Bono, V., Padovani, L., Aldinucci, M. (2025). Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. Springer [10.1007/978-3-031-71162-6_12].

Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows

Bono, Viviana;Padovani, Luca;
2025

Abstract

In the ever-evolving landscape of scientific computing, properly supporting the modularity and complexity of modern scientific applications requires new approaches to workflow execution, like seamless interoperability between different workflow systems, distributed-by-design workflow models, and automatic optimisation of data movements. In order to address this need, this article introduces SWIRL, an intermediate representation language for scientific workflows. In contrast with other product-agnostic workflow languages, SWIRL is not designed for human interaction but to serve as a low-level compilation target for distributed workflow execution plans. The main advantages of SWIRL semantics are low-level primitives based on the send/receive programming model and a formal framework ensuring the consistency of the semantics and the specification of translating workflow models represented by Directed Acyclic Graphs (DAGs) into SWIRL workflow descriptions. Additionally, SWIRL offers rewriting rules designed to optimise execution traces, accompanied by corresponding equivalence. An open-source SWIRL compiler toolchain has been developed using the ANTLR Python3 bindings.
2025
Formal Methods 26th International Symposium. FM 2024, Milan, Italy, September 9–13, 2024. Proceedings, Part I
226
244
Colonnelli, I., Medić, D., Mulone, A., Bono, V., Padovani, L., Aldinucci, M. (2025). Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows. Springer [10.1007/978-3-031-71162-6_12].
Colonnelli, Iacopo; Medić, Doriana; Mulone, Alberto; Bono, Viviana; Padovani, Luca; Aldinucci, Marco
File in questo prodotto:
File Dimensione Formato  
978-3-031-71162-6_12.pdf

accesso aperto

Tipo: Versione (PDF) editoriale / Version Of Record
Licenza: Licenza per Accesso Aperto. Creative Commons Attribuzione (CCBY)
Dimensione 707.12 kB
Formato Adobe PDF
707.12 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/996952
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 3
social impact