A Complete Language for Faceted Dataflow Programs
arXiv:1906.05937 · doi:10.4204/EPTCS.323.1
Abstract
We present a complete categorical axiomatization of a wide class of dataflow programs. This gives a three-dimensional diagrammatic language for workflows, more expressive than the directed acyclic graphs generally used for this purpose. This calls for an implementation of these representations in data transformation tools.
In Proceedings ACT 2019, arXiv:2009.06334