Modeling and Querying Scientific Workflow Provenance in the D-OPM. - Víctor Cuevas-Vicenttín; Saumen C. Dey; Michael Li Yuan Wang; Tianhong Song; Bertram Ludäscher (SC Companion, 2012)