Tracking provenance semantics in heterogeneous execution systems · Study