Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows

Contributo in Atti di convegno
Data di Pubblicazione:
2024
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.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Hybrid workflow, Interoperability, Formal methods
Elenco autori:
Iacopo Colonnelli , Doriana Medić, Alberto Mulone, Viviana Bono, Luca Padovani, Marco Aldinucci
Autori di Ateneo:
ALDINUCCI Marco
BONO Viviana
COLONNELLI Iacopo
MEDIC Doriana
MULONE ALBERTO
Link alla scheda completa:
https://iris.unito.it/handle/2318/1989870
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/1989870/1371868/PDFEditoriale.pdf
Titolo del libro:
Formal Methods
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Aree Di Ricerca

Aree Di Ricerca

Settori (7)


PE6_2 - Distributed systems, parallel computing, sensor networks, cyber-physical systems - (2024)

PE6_4 - Theoretical computer science, formal methods, automata - (2024)

CIBO, AGRICOLTURA e ALLEVAMENTI - Farmacologia Veterinaria

ECONOMIA, AZIENDE E ORGANIZZAZIONI - Sistemi e metodologie per la Qualità

INFORMATICA, AUTOMAZIONE e INTELLIGENZA ARTIFICIALE - Industria X.0

PIANETA TERRA, AMBIENTE, CLIMA, ENERGIA e SOSTENIBILITA' - Diritto dell'Ambiente

PIANETA TERRA, AMBIENTE, CLIMA, ENERGIA e SOSTENIBILITA' - Informatica e Ambiente
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.5.3.0